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 |
|