Search results for "CP"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Chavalit Likitvivatanavong, Wei Xia, Roland H. C. Yap	Higher-Order Consistencies through GAC on Factor Variables.	CP	2014	DBLP DOI BibTeX RDF
1	Miquel Bofill, Dídac Busquets, Mateu Villaret	Reformulation Based MaxSAT Robustness - (Extended Abstract).	CP	2014	DBLP DOI BibTeX RDF
1	Elsa Carvalho, Jorge Cruz 0001, Pedro Barahona	Probabilistic Constraints for Nonlinear Inverse Problems - (Extended Abstract).	CP	2014	DBLP DOI BibTeX RDF
1	André A. Ciré, Willem-Jan van Hoeve	Multivalued Decision Diagrams for Sequencing Problems - (Extended Abstract).	CP	2014	DBLP DOI BibTeX RDF
1	Loïc Blet, Samba Ndojh Ndiaye, Christine Solnon	Experimental Comparison of BTD and Intelligent Backtracking: Towards an Automatic Per-instance Algorithm Selector.	CP	2014	DBLP DOI BibTeX RDF
1	Anthony Schneider, Robert J. Woodward, Berthe Y. Choueiry, Christian Bessiere	Improving Relational Consistency Algorithms Using Dynamic Relation Partitioning.	CP	2014	DBLP DOI BibTeX RDF
1	Roberto Amadini, Peter J. Stuckey	Sequential Time Splitting and Bounds Communication for a Portfolio of Optimization Solvers.	CP	2014	DBLP DOI BibTeX RDF
1	Martin C. Cooper, Frederic Maris, Pierre Régnier	Monotone Temporal Planning: Tractability, Extensions and Applications - (Extended Abstract).	CP	2014	DBLP DOI BibTeX RDF
1	Ignacio Salas, Gilles Chabert, Alexandre Goldsztejn	The Non-overlapping Constraint between Objects Described by Non-linear Inequalities.	CP	2014	DBLP DOI BibTeX RDF
1	Levi H. S. Lelis, Lars Otten, Rina Dechter	Memory-Efficient Tree Size Prediction for Depth-First Search in Graphical Models.	CP	2014	DBLP DOI BibTeX RDF
1	Geoffrey Chu, Peter J. Stuckey	Nested Constraint Programs.	CP	2014	DBLP DOI BibTeX RDF
1	Morten Mossige, Arnaud Gotlieb, Hein Meling	Using CP in Automatic Test Generation for ABB Robotics' Paint Control System.	CP	2014	DBLP DOI BibTeX RDF
1	Maria Fox 0001	A Modular Architecture for Hybrid Planning with Theories.	CP	2014	DBLP DOI BibTeX RDF
1	Martin C. Cooper, Achref El Mouelhi, Cyril Terrioux, Bruno Zanuttini	On Broken Triangles.	CP	2014	DBLP DOI BibTeX RDF
1	Robert Nieuwenhuis	The IntSat Method for Integer Linear Programming.	CP	2014	DBLP DOI BibTeX RDF
1	Cédric Pralet, Charles Lesire	Deployment of Mobile Wireless Sensor Networks for Crisis Management: A Constraint-Based Local Search Approach.	CP	2014	DBLP DOI BibTeX RDF
1	Christian Bessiere, Emmanuel Hebrard, George Katsirelos, Zeynep Kiziltan, Émilie Picard-Cantin, Claude-Guy Quimper, Toby Walsh	The Balance Constraint Family.	CP	2014	DBLP DOI BibTeX RDF
1	Shuo Li 0002, Ahmed Hemani	Case Study: Constraint Programming in a System Level Synthesis Framework.	CP	2014	DBLP DOI BibTeX RDF
1	Christian Schulte 0001, Guido Tack	View-Based Propagator Derivation - (Extended Abstract).	CP	2014	DBLP DOI BibTeX RDF
1	Guillaume Perez, Jean-Charles Régin	Improving GAC-4 for Table and MDD Constraints.	CP	2014	DBLP DOI BibTeX RDF
1	Umut Oztok, Adnan Darwiche	On Compiling CNF into Decision-DNNF.	CP	2014	DBLP DOI BibTeX RDF
1	Philippe Jégou, Cyril Terrioux	Tree-Decompositions with Connected Clusters for Solving Constraint Networks.	CP	2014	DBLP DOI BibTeX RDF
1	Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson	Linking Prefixes and Suffixes for Constraints Encoded Using Automata with Accumulators.	CP	2014	DBLP DOI BibTeX RDF
1	Ruben Martins, Saurabh Joshi 0001, Vasco M. Manquinho, Inês Lynce	Incremental Cardinality Constraints for MaxSAT.	CP	2014	DBLP DOI BibTeX RDF
1	Kathryn Francis, Peter J. Stuckey	Loop Untangling.	CP	2014	DBLP DOI BibTeX RDF
1	Marie Pelleau, Louis-Martin Rousseau, Pierre L'Ecuyer, Walid Zegal, Louis Delorme	Scheduling Agents Using Forecast Call Arrivals at Hydro-Québec's Call Centers.	CP	2014	DBLP DOI BibTeX RDF
1	Jean-Charles Régin, Mohamed Rezgui, Arnaud Malapert	Improvement of the Embarrassingly Parallel Search for Data Centers.	CP	2014	DBLP DOI BibTeX RDF
1	Chuan Luo 0002, Shaowei Cai 0001, Wei Wu 0042, Kaile Su	Focused Random Walk with Configuration Checking and Break Minimum for Satisfiability.	CP	2013	DBLP DOI BibTeX RDF
1	Hadrien Cambazard, Deepak Mehta 0001, Barry O'Sullivan, Helmut Simonis	Bin Packing with Linear Usage Costs - An Application to Energy Management in Data Centres.	CP	2013	DBLP DOI BibTeX RDF
1	Martin Mann, Feras Nahar, Heinz Ekker, Rolf Backofen, Peter F. Stadler, Christoph Flamm	Atom Mapping with Constraint Programming.	CP	2013	DBLP DOI BibTeX RDF
1	Michela Milano	Optimization for Policy Making: The Cornerstone for an Integrated Approach.	CP	2013	DBLP DOI BibTeX RDF
1	Stefano Gualandi, Michele Lombardi 0001	A Simple and Effective Decomposition for the Multidimensional Binpacking Constraint.	CP	2013	DBLP DOI BibTeX RDF
1	Jun He 0001, Pierre Flener, Justin Pearson, Weiming Zhang 0003	Solving String Constraints: The Case for Constraint Programming.	CP	2013	DBLP DOI BibTeX RDF
1	Ignasi Abío, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Peter J. Stuckey	To Encode or to Propagate? The Best Choice for Each Constraint in SAT.	CP	2013	DBLP DOI BibTeX RDF
1	Pierre Schaus, Renaud Hartert	Multi-Objective Large Neighborhood Search.	CP	2013	DBLP DOI BibTeX RDF
1	Philippe Vismara, Remi Coletta, Gilles Trombettoni	Constrained Wine Blending.	CP	2013	DBLP DOI BibTeX RDF
1	Reuven Naveh, Amit Metodi	Beyond Feasibility: CP Usage in Constrained-Random Functional Hardware Verification.	CP	2013	DBLP DOI BibTeX RDF
1	Jean-Charles Régin, Mohamed Rezgui, Arnaud Malapert	Embarrassingly Parallel Search.	CP	2013	DBLP DOI BibTeX RDF
1	Christian Bessiere, Hélène Fargier, Christophe Lecoutre	Global Inverse Consistency for Interactive Constraint Satisfaction.	CP	2013	DBLP DOI BibTeX RDF
1	Radu Marinescu 0002, Abdul Razak, Nic Wilson	Multi-Objective Constraint Optimization with Tradeoffs.	CP	2013	DBLP DOI BibTeX RDF
1	Andreas Schutt, Thibaut Feydy, Peter J. Stuckey	Scheduling Optional Tasks with Explanation.	CP	2013	DBLP DOI BibTeX RDF
1	M. A. Hakim Newton, Duc Nghia Pham, Wee Lum Tan, Marius Portmann, Abdul Sattar 0001	Stochastic Local Search Based Channel Assignment in Wireless Mesh Networks.	CP	2013	DBLP DOI BibTeX RDF
1	Pascal Van Hentenryck, Laurent Michel	The Objective-CP Optimization System.	CP	2013	DBLP DOI BibTeX RDF
1	Alex Fukunaga	An Improved Search Algorithm for Min-Perturbation.	CP	2013	DBLP DOI BibTeX RDF
1	Graeme Gange, Peter J. Stuckey, Pascal Van Hentenryck	Explaining Propagators for Edge-Valued Decision Diagrams.	CP	2013	DBLP DOI BibTeX RDF
1	Thierry Moisan, Jonathan Gaudreault, Claude-Guy Quimper	Parallel Discrepancy-Based Search.	CP	2013	DBLP DOI BibTeX RDF
1	Geoffrey Chu, Peter J. Stuckey	Dominance Driven Search.	CP	2013	DBLP DOI BibTeX RDF
1	Kathryn Francis, Jorge A. Navas, Peter J. Stuckey	Modelling Destructive Assignments.	CP	2013	DBLP DOI BibTeX RDF
1	Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi	A Scalable Approximate Model Counter.	CP	2013	DBLP DOI BibTeX RDF
1	Carlos Ansótegui, Maria Luisa Bonet, Joel Gabàs, Jordi Levy	Improving WPM2 for (Weighted) Partial MaxSAT.	CP	2013	DBLP DOI BibTeX RDF
1	Stéphane Zampelli, Yannis Vergados, Rowan Van Schaeren, Wout Dullaert, Birger Raa	The Berth Allocation and Quay Crane Assignment Problem Using a CP Approach.	CP	2013	DBLP DOI BibTeX RDF
1	Djamal Habet, Donia Toumi	Empirical Study of the Behavior of Conflict Analysis in CDCL Solvers.	CP	2013	DBLP DOI BibTeX RDF
1	Luca Di Gaspero, Andrea Rendl, Tommaso Urli	Constraint-Based Approaches for Balancing Bike Sharing Systems.	CP	2013	DBLP DOI BibTeX RDF
1	Amine Balafrej, Christian Bessiere, Remi Coletta, El-Houssine Bouyakhf	Adaptive Parameterized Consistency.	CP	2013	DBLP DOI BibTeX RDF
1	Simon de Givry, Steven D. Prestwich, Barry O'Sullivan	Dead-End Elimination for Weighted CSP.	CP	2013	DBLP DOI BibTeX RDF
1	Jakub Bulin, Dejan Delic, Marcel Jackson, Todd Niven	On the Reduction of the CSP Dichotomy Conjecture to Digraphs.	CP	2013	DBLP DOI BibTeX RDF
1	Peter Jonsson, Victor Lagerkvist, Gustav Nordh	Blowing Holes in Various Aspects of Computational Problems, with Applications to Constraint Satisfaction.	CP	2013	DBLP DOI BibTeX RDF
1	Torsten Schaub	Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning.	CP	2013	DBLP DOI BibTeX RDF
1	Jessica Davies 0001, Fahiem Bacchus	Postponing Optimization to Speed Up MAXSAT Solving.	CP	2013	DBLP DOI BibTeX RDF
1	Nicolas Beldiceanu, Georgiana Ifrim, Arnaud Lenoir, Helmut Simonis	Describing and Generating Solutions for the EDF Unit Commitment Problem with the ModelSeeker.	CP	2013	DBLP DOI BibTeX RDF
1	Patricia Gutierrez, Jimmy Ho-Man Lee, Ka Man Lei, Terrence W. K. Mak, Pedro Meseguer	Maintaining Soft Arc Consistencies in BnB-ADOPT + during Search.	CP	2013	DBLP DOI BibTeX RDF
1	Wei Xia, Roland H. C. Yap	Optimizing STR Algorithms with Tuple Compression.	CP	2013	DBLP DOI BibTeX RDF
1	Mohamed Wahbi, Redouane Ezzahir, Christian Bessiere	Asynchronous Forward Bounding Revisited.	CP	2013	DBLP DOI BibTeX RDF
1	Michael D. Moffitt	Multidimensional Bin Packing Revisited.	CP	2013	DBLP DOI BibTeX RDF
1	Christian Schulte 0001 (eds.)	Principles and Practice of Constraint Programming - 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings	CP	2013	DBLP DOI BibTeX RDF
1	Allen Van Gelder	Primal and Dual Encoding from Applications into Quantified Boolean Formulas.	CP	2013	DBLP DOI BibTeX RDF
1	Josep Argelich, Chu Min Li, Felip Manyà, Zhu Zhu	MinSAT versus MaxSAT for Optimization Problems.	CP	2013	DBLP DOI BibTeX RDF
1	Ana Paula Tomás, José Paulo Leal	Automatic Generation and Delivery of Multiple-Choice Math Quizzes.	CP	2013	DBLP DOI BibTeX RDF
1	Steven D. Prestwich, Marco Laumanns, Ban Kawas	Value Interchangeability in Scenario Generation.	CP	2013	DBLP DOI BibTeX RDF
1	François Pelsser, Pierre Schaus, Jean-Charles Régin	Revisiting the Cardinality Reasoning for BinPacking Constraint.	CP	2013	DBLP DOI BibTeX RDF
1	Ozgur Akgun, Alan M. Frisch, Ian P. Gent, Bilal Syed Hussain, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Peter Nightingale	Automated Symmetry Breaking and Model Selection in Conjure.	CP	2013	DBLP DOI BibTeX RDF
1	Evgenij Thorstensen	Lifting Structural Tractability to CSP with Global Constraints.	CP	2013	DBLP DOI BibTeX RDF
1	Manuel Loth, Michèle Sebag, Youssef Hamadi, Marc Schoenauer	Bandit-Based Search for Constraint Programming.	CP	2013	DBLP DOI BibTeX RDF
1	Jean-Noël Monette, Nicolas Beldiceanu, Pierre Flener, Justin Pearson	A Parametric Propagator for Discretely Convex Pairs of Sum Constraints.	CP	2013	DBLP DOI BibTeX RDF
1	Nina Narodytska, Toby Walsh	Breaking Symmetry with Different Orderings.	CP	2013	DBLP DOI BibTeX RDF
1	Quoc Trung Bui, Quang-Dung Pham, Yves Deville	Solving the Agricultural Land Allocation Problem by Constraint-Based Local Search.	CP	2013	DBLP DOI BibTeX RDF
1	Peter J. Stuckey	Those Who Cannot Remember the Past Are Condemned to Repeat It.	CP	2013	DBLP DOI BibTeX RDF
1	Pascal Van Hentenryck	Decide Different!	CP	2013	DBLP DOI BibTeX RDF
1	Simon Brockbank, Gilles Pesant, Louis-Martin Rousseau	Counting Spanning Trees to Guide Search in Constrained Spanning Tree Problems.	CP	2013	DBLP DOI BibTeX RDF
1	Mikael Z. Lagerkvist, Martin Nordkvist, Magnus Rattfeldt	Laser Cutting Path Planning Using CP.	CP	2013	DBLP DOI BibTeX RDF
1	Gregory J. Duck, Joxan Jaffar, Nicolas C. H. Koh	Constraint-Based Program Reasoning with Heaps and Separation.	CP	2013	DBLP DOI BibTeX RDF
1	Erin Delisle, Fahiem Bacchus	Solving Weighted CSPs by Successive Relaxations.	CP	2013	DBLP DOI BibTeX RDF
1	Paul Scott 0002, Sylvie Thiébaux, Menkes van den Briel, Pascal Van Hentenryck	Residential Demand Response under Uncertainty.	CP	2013	DBLP DOI BibTeX RDF
1	David A. Cohen, Peter G. Jeavons, Evgenij Thorstensen, Stanislav Zivný	Tractable Combinations of Global Constraints.	CP	2013	DBLP DOI BibTeX RDF
1	Daniel Fontaine, Laurent Michel, Pascal Van Hentenryck	Model Combinators for Hybrid Optimization.	CP	2013	DBLP DOI BibTeX RDF
1	Jean-Guillaume Fages, Tanguy Lapègue	Filtering AtMostNValue with Difference Constraints: Application to the Shift Minimisation Personnel Task Scheduling Problem.	CP	2013	DBLP DOI BibTeX RDF
1	Pierre Ouellet, Claude-Guy Quimper	Time-Table Extended-Edge-Finding for the Cumulative Constraint.	CP	2013	DBLP DOI BibTeX RDF
1	Kevin Leo, Christopher Mears, Guido Tack, Maria Garcia de la Banda	Globalizing Constraint Models.	CP	2013	DBLP DOI BibTeX RDF
1	William Klieber, Mikolás Janota, João Marques-Silva 0001, Edmund M. Clarke	Solving QBF with Free Variables.	CP	2013	DBLP DOI BibTeX RDF
1	Alexandre Goldsztejn, Laurent Granvilliers, Christophe Jermann	Constraint Based Computation of Periodic Orbits of Chaotic Dynamical Systems.	CP	2013	DBLP DOI BibTeX RDF
1	Ignasi Abío, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell	A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints.	CP	2013	DBLP DOI BibTeX RDF
1	Michele Lombardi 0001, Stefano Gualandi	A New Propagator for Two-Layer Neural Networks in Empirical Model Learning.	CP	2013	DBLP DOI BibTeX RDF
1	Michael Morin, Anika-Pascale Papillon, Irène Abi-Zeid, François Laviolette, Claude-Guy Quimper	Constraint Programming for Path Planning with Uncertainty - Solving the Optimal Search Path Problem.	CP	2012	DBLP DOI BibTeX RDF
1	Gilles Audemard, Laurent Simon	Refining Restarts Strategies for SAT and UNSAT.	CP	2012	DBLP DOI BibTeX RDF
1	Carlos Ansótegui, Maria Luisa Bonet, Joel Gabàs, Jordi Levy	Improving SAT-Based Weighted MaxSAT Solvers.	CP	2012	DBLP DOI BibTeX RDF
1	Jimmy Ho-Man Lee, Jingying Li	Increasing Symmetry Breaking by Preserving Target Symmetries.	CP	2012	DBLP DOI BibTeX RDF
1	Hannes Uppman	Max-Sur-CSP on Two Elements.	CP	2012	DBLP DOI BibTeX RDF
1	Martin C. Cooper, Guillaume Escamocher, Stanislav Zivný	A Characterisation of the Complexity of Forbidding Subproblems in Binary Max-CSP.	CP	2012	DBLP DOI BibTeX RDF
1	David Allouche, Seydou Traoré, Isabelle André, Simon de Givry, George Katsirelos, Sophie Barbe, Thomas Schiex	Computational Protein Design as a Cost Function Network Optimization Problem.	CP	2012	DBLP DOI BibTeX RDF
1	Barry O'Sullivan	Where Are the Interesting Problems?	CP	2012	DBLP DOI BibTeX RDF

Publications at "CP"( http://dblp.L3S.de/Venues/CP )