Search results for "CP"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Hélène Collavizza, Michel Rueher	Exploring Different Constraint-Based Modelings for Program Verification.	CP	2007	DBLP DOI BibTeX RDF
1	Jinbo Huang	A Case for Simple SAT Solvers.	CP	2007	DBLP DOI BibTeX RDF
1	Alfonso Gerevini, Alessandro Saetti	Efficient Computation of Minimal Point Algebra Constraints by Metagraph Closure.	CP	2007	DBLP DOI BibTeX RDF
1	Kenneth M. Bayer, Martin Michalowski, Berthe Y. Choueiry, Craig A. Knoblock	Reformulating CSPs for Scalability with Application to Geospatial Reasoning.	CP	2007	DBLP DOI BibTeX RDF
1	Philippe Jégou, Samba Ndiaye, Cyril Terrioux	Dynamic Management of Heuristics for Solving Structured CSPs.	CP	2007	DBLP DOI BibTeX RDF
1	Bistra Dilkina, Carla P. Gomes, Ashish Sabharwal	Tradeoffs in the Complexity of Backdoor Detection.	CP	2007	DBLP DOI BibTeX RDF
1	Roman van der Krogt, James Little 0002, Kenneth Pulliam, Sue Hanhilammi, Yue Jin	Scheduling for Cellular Manufacturing.	CP	2007	DBLP DOI BibTeX RDF
1	Stéphane Zampelli, Yves Deville, Christine Solnon, Sébastien Sorlin, Pierre Dupont	Filtering for Subgraph Isomorphism.	CP	2007	DBLP DOI BibTeX RDF
1	Rosella Gennari, Ornella Mich	Constraint-Based Temporal Reasoning for E-Learning with LODE.	CP	2007	DBLP DOI BibTeX RDF	automated temporal reasoning, e-learning, assistive technology, constraint programming
1	Matthew L. Ginsberg	Of Mousetraps and Men: A Cautionary Tale.	CP	2007	DBLP DOI BibTeX RDF
1	Lucas Bordeaux, Youssef Hamadi, Moshe Y. Vardi	An Analysis of Slow Convergence in Interval Propagation.	CP	2007	DBLP DOI BibTeX RDF
1	George Katsirelos, Toby Walsh	A Compression Algorithm for Large Arity Extensional Constraints.	CP	2007	DBLP DOI BibTeX RDF
1	Nicolas Beldiceanu, Mats Carlsson, Emmanuel Poder, R. Sadek, Charlotte Truchet	A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects.	CP	2007	DBLP DOI BibTeX RDF
1	Huayue Wu, Peter van Beek	On Universal Restart Strategies for Backtracking Search.	CP	2007	DBLP DOI BibTeX RDF
1	Jean-François Condotta, Gérard Ligozat, Mahmoud Saade	Eligible and Frozen Constraints for Solving Temporal Qualitative Constraint Networks.	CP	2007	DBLP DOI BibTeX RDF
1	Menkes van den Briel, J. Benton 0001, Subbarao Kambhampati, Thomas Vossen	An LP-Based Heuristic for Optimal Planning.	CP	2007	DBLP DOI BibTeX RDF	improving admissible heuristics, optimal relaxed planning, Automated planning
1	Ian P. Gent, Tom Kelsey, Stephen A. Linton, J. Pearson, Colva M. Roney-Dougal	Groupoids and Conditional Symmetry.	CP	2007	DBLP DOI BibTeX RDF
1	Miquel Ramírez, Hector Geffner	Structural Relaxations by Variable Renaming and Their Compilation for Solving MinCostSAT.	CP	2007	DBLP DOI BibTeX RDF
1	Christian Bessiere (eds.)	Principles and Practice of Constraint Programming - CP 2007, 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007, Proceedings	CP	2007	DBLP DOI BibTeX RDF
1	Fahiem Bacchus	GAC Via Unit Propagation.	CP	2007	DBLP DOI BibTeX RDF
1	Pierre Schaus, Yves Deville, Pierre Dupont	Bound-Consistent Deviation Constraint.	CP	2007	DBLP DOI BibTeX RDF
1	Marco Gavanelli	The Log-Support Encoding of CSP into SAT.	CP	2007	DBLP DOI BibTeX RDF
1	Christophe Lecoutre, Stéphane Cardon, Julien Vion	Path Consistency by Dual Consistency.	CP	2007	DBLP DOI BibTeX RDF
1	Andrew J. Davenport, Jayant Kalagnanam, Chandra Reddy, Stuart Siegel, John Hou	An Application of Constraint Programming to Generating Detailed Operations Schedules for Steel Manufacturing.	CP	2007	DBLP DOI BibTeX RDF
1	João Marques-Silva 0001, Inês Lynce	Towards Robust CNF Encodings of Cardinality Constraints.	CP	2007	DBLP DOI BibTeX RDF
1	Diarmuid Grimes, Richard J. Wallace	Sampling Strategies and Variable Selection in Weighted Degree Heuristics.	CP	2007	DBLP DOI BibTeX RDF
1	Toby Walsh	Breaking Value Symmetry.	CP	2007	DBLP DOI BibTeX RDF
1	Lin Xu, Holger H. Hoos, Kevin Leyton-Brown	Hierarchical Hardness Models for SAT.	CP	2007	DBLP DOI BibTeX RDF
1	Grégory Beaumet, Gérard Verfaillie, Marie-Claire Charmeau	Estimation of the Minimal Duration of an Attitude Change for an Autonomous Agile Earth-Observing Satellite.	CP	2007	DBLP DOI BibTeX RDF
1	Mikael Z. Lagerkvist, Christian Schulte 0001	Advisors for Incremental Propagation.	CP	2007	DBLP DOI BibTeX RDF
1	Gilles Trombettoni, Gilles Chabert	Constructive Interval Disjunction.	CP	2007	DBLP DOI BibTeX RDF
1	Bart Peintner, Kristen Brent Venable, Neil Yorke-Smith	Strong Controllability of Disjunctive Temporal Problems with Uncertainty.	CP	2007	DBLP DOI BibTeX RDF
1	Matthieu Petit, Arnaud Gotlieb	Boosting Probabilistic Choice Operators.	CP	2007	DBLP DOI BibTeX RDF
1	Vicente Ruiz de Angulo, Carme Torras	Exploiting Single-Cycle Symmetries in Branch-and-Prune algorithms.	CP	2007	DBLP DOI BibTeX RDF
1	Steven Halim, Roland H. C. Yap, Hoong Chuin Lau	An Integrated White+Black Box Approach for Designing and Tuning Stochastic Local Search.	CP	2007	DBLP DOI BibTeX RDF
1	Yat Chiu Law, Jimmy Ho-Man Lee, Toby Walsh, J. Y. K. Yip	Breaking Symmetry of Interchangeable Variables and Values.	CP	2007	DBLP DOI BibTeX RDF
1	David A. Cohen, Peter Jeavons 0001, Stanislav Zivný	The Expressive Power of Valued Constraints: Hierarchies and Collapses.	CP	2007	DBLP DOI BibTeX RDF
1	Raphaël Chenouard, Patrick Sébastian, Laurent Granvilliers	Solving an Air Conditioning System Problem in an Embodiment Design Context Using Constraint Satisfaction Techniques.	CP	2007	DBLP DOI BibTeX RDF
1	Stefano Bistarelli, Pamela Peretti, Irina Trubitsyna	Answer Set Optimization for and/or Composition of CP-Nets: A Security Scenario.	CP	2007	DBLP DOI BibTeX RDF
1	Grégoire Dooms, Pascal Van Hentenryck, Laurent Michel	Model-Driven Visualizations of Constraint-Based Local Search.	CP	2007	DBLP DOI BibTeX RDF
1	Mohand Ou Idir Khemmoudj, Hachemi Bennaceur	Valid Inequality Based Lower Bounds for WCSP.	CP	2007	DBLP DOI BibTeX RDF
1	Barbara M. Smith, Stefano Bistarelli, Barry O'Sullivan	Constraint Symmetry for the Soft CSP.	CP	2007	DBLP DOI BibTeX RDF
1	Alessandro Zanarini, Gilles Pesant	Solution Counting Algorithms for Constraint-Centered Search Heuristics.	CP	2007	DBLP DOI BibTeX RDF
1	Sylvain Darras, Gilles Dequen, Laure Devendeville, Chu Min Li	On Inconsistent Clause-Subsets for Max-SAT Solving.	CP	2007	DBLP DOI BibTeX RDF	Unit Propagation, Inconsistent Subset, Max-SAT
1	Belaid Benhamou, Mohamed Réda Saïdi	Local Symmetry Breaking During Search in CSPs.	CP	2007	DBLP DOI BibTeX RDF
1	Roie Zivan, Moshe Zazone, Amnon Meisels	Min-Domain Ordering for Asynchronous Backtracking.	CP	2007	DBLP DOI BibTeX RDF
1	Stefano Bistarelli, Maria Silvia Pini, Francesca Rossi 0001, Kristen Brent Venable	Uncertainty in Bipolar Preference Problems.	CP	2007	DBLP DOI BibTeX RDF
1	Matti Järvisalo, Tommi A. Junttila	Limitations of Restricted Branching in Clause Learning.	CP	2007	DBLP DOI BibTeX RDF
1	Michele Lombardi 0001, Michela Milano	Scheduling Conditional Task Graphs.	CP	2007	DBLP DOI BibTeX RDF
1	Chiu Wo Choi, Jimmy Ho-Man Lee	Solving the Salinity Control Problem in a Potable Water System.	CP	2007	DBLP DOI BibTeX RDF
1	Laurent Michel, Andrew See, Pascal Van Hentenryck	Parallelizing Constraint Programs Transparently.	CP	2007	DBLP DOI BibTeX RDF
1	Antoine Gargani, Philippe Refalo	An Efficient Model and Strategy for the Steel Mill Slab Design Problem.	CP	2007	DBLP DOI BibTeX RDF
1	Fahiem Bacchus, Kostas Stergiou 0001	Solution Directed Backjumping for QCSP.	CP	2007	DBLP DOI BibTeX RDF
1	Lin Xu, Frank Hutter, Holger H. Hoos, Kevin Leyton-Brown	: The Design and Analysis of an Algorithm Portfolio for SAT.	CP	2007	DBLP DOI BibTeX RDF
1	Olga Ohrimenko, Peter J. Stuckey, Michael Codish	Propagation = Lazy Clause Generation.	CP	2007	DBLP DOI BibTeX RDF
1	Sebastian Brand, Nina Narodytska, Claude-Guy Quimper, Peter J. Stuckey, Toby Walsh	Encodings of the Sequence Constraint.	CP	2007	DBLP DOI BibTeX RDF
1	Nic Wilson, Diarmuid Grimes, Eugene C. Freuder	A Cost-Based Model and Algorithms for Interleaving Solving and Elicitation of CSPs.	CP	2007	DBLP DOI BibTeX RDF
1	Nicholas Nethercote, Peter J. Stuckey, Ralph Becket, Sebastian Brand, Gregory J. Duck, Guido Tack	MiniZinc: Towards a Standard CP Modelling Language.	CP	2007	DBLP DOI BibTeX RDF
1	Zeynep Kiziltan, Andrea Lodi 0001, Michela Milano, Fabio Parisini	CP-Based Local Branching.	CP	2007	DBLP DOI BibTeX RDF
1	Claude-Guy Quimper, Toby Walsh	Decomposing Global Grammar Constraints.	CP	2007	DBLP DOI BibTeX RDF
1	Henrik Reif Andersen, Tarik Hadzic, John N. Hooker, Peter Tiedemann	A Constraint Store Based on Multivalued Decision Diagrams.	CP	2007	DBLP DOI BibTeX RDF
1	Éric Grégoire, Bertrand Mazure, Cédric Piette	MUST: Provide a Finer-Grained Explanation of Unsatisfiability.	CP	2007	DBLP DOI BibTeX RDF	unsatisfiability, MUC, MUS, MUST, CSP, explanation, constraint networks
1	Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé	An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming.	CP	2007	DBLP DOI BibTeX RDF
1	Luca Pulina, Armando Tacchella	A Multi-engine Solver for Quantified Boolean Formulas.	CP	2007	DBLP DOI BibTeX RDF
1	Fahiem Bacchus	Caching in Backtracking Search.	CP	2007	DBLP DOI BibTeX RDF
1	Mirco Gelain, Maria Silvia Pini, Francesca Rossi 0001, Kristen Brent Venable	Dealing with Incomplete Preferences in Soft Constraint Problems.	CP	2007	DBLP DOI BibTeX RDF
1	Robert Mateescu, Radu Marinescu 0002, Rina Dechter	AND/OR Multi-valued Decision Diagrams for Constraint Optimization.	CP	2007	DBLP DOI BibTeX RDF
1	Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal 0001	Exploiting Past and Future: Pruning by Inconsistent Partial State Dominance.	CP	2007	DBLP DOI BibTeX RDF
1	Maria J. García de la Banda, Kim Marriott, Reza Rafeh, Mark Wallace 0001	The Modelling Language Zinc.	CP	2006	DBLP DOI BibTeX RDF
1	Mohand Ou Idir Khemmoudj, Hachemi Bennaceur	Clique Inference Process for Solving Max-CSP.	CP	2006	DBLP DOI BibTeX RDF
1	Krzysztof R. Apt, Sebastian Brand	Infinite Qualitative Simulations by Means of Constraint Programming.	CP	2006	DBLP DOI BibTeX RDF
1	Toby Walsh	General Symmetry Breaking Constraints.	CP	2006	DBLP DOI BibTeX RDF
1	Latife Genç Kaya, John N. Hooker	A Filter for the Circuit Constraint.	CP	2006	DBLP DOI BibTeX RDF
1	Thanasis Balafoutis, Kostas Stergiou 0001	Algorithms for Stochastic CSPs.	CP	2006	DBLP DOI BibTeX RDF
1	Duc Nghia Pham, John Thornton 0001, Abdul Sattar 0001	Towards an Efficient SAT Encoding for Temporal Reasoning.	CP	2006	DBLP DOI BibTeX RDF
1	Christophe Lecoutre, Radoslaw Szymanek	Generalized Arc Consistency for Positive Table Constraints.	CP	2006	DBLP DOI BibTeX RDF
1	Pascal Van Hentenryck, Laurent Michel	Differentiable Invariants.	CP	2006	DBLP DOI BibTeX RDF
1	Alexander Brodsky 0001, Hadon Nash	CoJava: Optimization Modeling by Nondeterministic Simulation.	CP	2006	DBLP DOI BibTeX RDF
1	Ian P. Gent, Christopher Jefferson, Ian Miguel	Watched Literals for Constraint Propagation in Minion.	CP	2006	DBLP DOI BibTeX RDF
1	Guido Tack, Christian Schulte 0001, Gert Smolka	Generating Propagators for Finite Set Constraints.	CP	2006	DBLP DOI BibTeX RDF
1	Peter Tiedemann, Tarik Hadzic, Thomas Stuart Henney, Henrik Reif Andersen	Interactive Distributed Configuration.	CP	2006	DBLP DOI BibTeX RDF
1	Meinolf Sellmann	The Theory of Grammar Constraints.	CP	2006	DBLP DOI BibTeX RDF	regular grammar constraints, context-free grammar constraints, constraint filtering, global constraints
1	Claude-Guy Quimper, Toby Walsh	Global Grammar Constraints.	CP	2006	DBLP DOI BibTeX RDF
1	Martin C. Cooper, Sylvain Cussat-Blanc, Marie de Roquemaurel, Pierre Régnier	Soft Arc Consistency Applied to Optimal Planning.	CP	2006	DBLP DOI BibTeX RDF
1	Magnus Ågren 0002, Pierre Flener, Justin Pearson	Inferring Variable Conflicts for Local Search.	CP	2006	DBLP DOI BibTeX RDF
1	Luc Jaulin	Localization of an Underwater Robot Using Interval Constraint Propagation.	CP	2006	DBLP DOI BibTeX RDF
1	Alex Ferguson, Barry O'Sullivan	Relaxations and Explanations for Quantified Constraint Satisfaction Problems.	CP	2006	DBLP DOI BibTeX RDF
1	Frank Hutter, Youssef Hamadi, Holger H. Hoos, Kevin Leyton-Brown	Performance Prediction and Automated Tuning of Randomized and Parametric Algorithms.	CP	2006	DBLP DOI BibTeX RDF
1	Yossi Richter, Ari Freund 0001, Yehuda Naveh	Generalizing AllDifferent: The SomeDifferent Constraint.	CP	2006	DBLP DOI BibTeX RDF
1	Laurent Michel, Andrew See, Pascal Van Hentenryck	Distributed Constraint-Based Local Search.	CP	2006	DBLP DOI BibTeX RDF
1	Lars Otten, Mattias Grönkvist, Devdatt P. Dubhashi	Randomization in Constraint Programming for Airline Planning.	CP	2006	DBLP DOI BibTeX RDF
1	Shabbir Ahmed 0001	Global Optimization of Probabilistically Constrained Linear Programs.	CP	2006	DBLP DOI BibTeX RDF
1	Helmut Simonis	Constraint Based Resilience Analysis.	CP	2006	DBLP DOI BibTeX RDF
1	Tudor Hulubei, Barry O'Sullivan	Heavy-Tailed Runtime Distributions: Heuristics, Models and Optimal Refutations.	CP	2006	DBLP DOI BibTeX RDF
1	Santiago Macho González, Carlos Ansótegui, Pedro Meseguer	Boosting Open CSPs.	CP	2006	DBLP DOI BibTeX RDF
1	Mohand Ou Idir Khemmoudj, Marc Porcheron, Hachemi Bennaceur	When Constraint Programming and Local Search Solve the Scheduling Problem of Electricité de France Nuclear Power Plant Outages.	CP	2006	DBLP DOI BibTeX RDF
1	Guillaume Verger, Christian Bessiere	: A Bottom-Up Approach for Solving Quantified CSPs.	CP	2006	DBLP DOI BibTeX RDF
1	Jean-François Puget	Dynamic Lex Constraints.	CP	2006	DBLP DOI BibTeX RDF
1	Yannis Dimopoulos, Kostas Stergiou 0001	Propagation in CSP and SAT.	CP	2006	DBLP DOI BibTeX RDF
1	Grégoire Dooms, Irit Katriel	The Minimum Spanning Tree Constraint.	CP	2006	DBLP DOI BibTeX RDF

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