|
Conferences in DBLP
- Fahiem Bacchus
Caching in Backtracking Search. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:1- [Conf]
- Matthew L. Ginsberg
Of Mousetraps and Men: A Cautionary Tale. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:2- [Conf]
- 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. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:3-17 [Conf]
- Raphaël Chenouard, Patrick Sébastian, Laurent Granvilliers
Solving an Air Conditioning System Problem in an Embodiment Design Context Using Constraint Satisfaction Techniques. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:18-32 [Conf]
- Chiu Wo Choi, Jimmy Ho-Man Lee
Solving the Salinity Control Problem in a Potable Water System. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:33-48 [Conf]
- Hélène Collavizza, Michel Rueher
Exploring Different Constraint-Based Modelings for Program Verification. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:49-63 [Conf]
- Andrew J. Davenport, Jayant Kalagnanam, Chandra Reddy, Stuart Siegel, John Hou
An Application of Constraint Programming to Generating Detailed Operations Schedules for Steel Manufacturing. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:64-76 [Conf]
- Antoine Gargani, Philippe Refalo
An Efficient Model and Strategy for the Steel Mill Slab Design Problem. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:77-89 [Conf]
- Rosella Gennari, Ornella Mich
Constraint-Based Temporal Reasoning for E-Learning with LODE. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:90-104 [Conf]
- Roman van der Krogt, James Little, Kenneth Pulliam, Sue Hanhilammi, Yue Jin
Scheduling for Cellular Manufacturing. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:105-117 [Conf]
- Henrik Reif Andersen, Tarik Hadzic, J. N. Hooker, Peter Tiedemann
A Constraint Store Based on Multivalued Decision Diagrams. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:118-132 [Conf]
- Fahiem Bacchus
GAC Via Unit Propagation. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:133-147 [Conf]
- Fahiem Bacchus, Kostas Stergiou
Solution Directed Backjumping for QCSP. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:148-163 [Conf]
- Kenneth M. Bayer, Martin Michalowski, Berthe Y. Choueiry, Craig A. Knoblock
Reformulating CSPs for Scalability with Application to Geospatial Reasoning. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:164-179 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:180-194 [Conf]
- Belaid Benhamou, Mohamed Réda Saïdi
Local Symmetry Breaking During Search in CSPs. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:195-209 [Conf]
- Sebastian Brand, Nina Narodytska, Claude-Guy Quimper, Peter J. Stuckey, Toby Walsh
Encodings of the Sequence Constraint. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:210-224 [Conf]
- Sylvain Darras, Gilles Dequen, Laure Devendeville, Chu Min Li
On Inconsistent Clause-Subsets for Max-SAT Solving. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:225-240 [Conf]
- Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé
An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:241-255 [Conf]
- Bistra N. Dilkina, Carla P. Gomes, Ashish Sabharwal
Tradeoffs in the Complexity of Backdoor Detection. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:256-270 [Conf]
- Grégoire Dooms, Pascal Van Hentenryck, Laurent Michel
Model-Driven Visualizations of Constraint-Based Local Search. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:271-285 [Conf]
- Mirco Gelain, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable
Dealing with Incomplete Preferences in Soft Constraint Problems. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:286-300 [Conf]
- Alfonso Gerevini, Alessandro Saetti
Efficient Computation of Minimal Point Algebra Constraints by Metagraph Closure. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:301-316 [Conf]
- Éric Grégoire, Bertrand Mazure, Cédric Piette
MUST: Provide a Finer-Grained Explanation of Unsatisfiability. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:317-331 [Conf]
- Steven Halim, Roland H. C. Yap, Hoong Chuin Lau
An Integrated White+Black Box Approach for Designing and Tuning Stochastic Local Search. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:332-347 [Conf]
- Matti Järvisalo, Tommi A. Junttila
Limitations of Restricted Branching in Clause Learning. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:348-363 [Conf]
- Philippe Jégou, Samba Ndiaye, Cyril Terrioux
Dynamic Management of Heuristics for Solving Structured CSPs. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:364-378 [Conf]
- George Katsirelos, Toby Walsh
A Compression Algorithm for Large Arity Extensional Constraints. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:379-393 [Conf]
- Mohand Ou Idir Khemmoudj, Hachemi Bennaceur
Valid Inequality Based Lower Bounds for WCSP. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:394-408 [Conf]
- Mikael Z. Lagerkvist, Christian Schulte
Advisors for Incremental Propagation. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:409-422 [Conf]
- Y. C. Law, J. H. M. Lee, Toby Walsh, J. Y. K. Yip
Breaking Symmetry of Interchangeable Variables and Values. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:423-437 [Conf]
- Christophe Lecoutre, Stéphane Cardon, Julien Vion
Path Consistency by Dual Consistency. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:438-452 [Conf]
- Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal
Exploiting Past and Future: Pruning by Inconsistent Partial State Dominance. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:453-467 [Conf]
- Michele Lombardi, Michela Milano
Scheduling Conditional Task Graphs. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:468-482 [Conf]
- João P. Marques Silva, Inês Lynce
Towards Robust CNF Encodings of Cardinality Constraints. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:483-497 [Conf]
- Robert Mateescu, Radu Marinescu, Rina Dechter
AND/OR Multi-valued Decision Diagrams for Constraint Optimization. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:498-513 [Conf]
- Laurent Michel, Andrew See, Pascal Van Hentenryck
Parallelizing Constraint Programs Transparently. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:514-528 [Conf]
- Nicholas Nethercote, Peter J. Stuckey, Ralph Becket, Sebastian Brand, Gregory J. Duck, Guido Tack
MiniZinc: Towards a Standard CP Modelling Language. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:529-543 [Conf]
- Olga Ohrimenko, Peter J. Stuckey, Michael Codish
Propagation = Lazy Clause Generation. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:544-558 [Conf]
- Matthieu Petit, Arnaud Gotlieb
Boosting Probabilistic Choice Operators. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:559-573 [Conf]
- Luca Pulina, Armando Tacchella
A Multi-engine Solver for Quantified Boolean Formulas. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:574-589 [Conf]
- Claude-Guy Quimper, Toby Walsh
Decomposing Global Grammar Constraints. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:590-604 [Conf]
- Miquel Ramírez, Hector Geffner
Structural Relaxations by Variable Renaming and Their Compilation for Solving MinCostSAT. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:605-619 [Conf]
- Pierre Schaus, Yves Deville, Pierre Dupont
Bound-Consistent Deviation Constraint. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:620-634 [Conf]
- Gilles Trombettoni, Gilles Chabert
Constructive Interval Disjunction. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:635-650 [Conf]
- Menkes van den Briel, J. Benton, Subbarao Kambhampati, Thomas Vossen
An LP-Based Heuristic for Optimal Planning. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:651-665 [Conf]
- Nic Wilson, Diarmuid Grimes, Eugene C. Freuder
A Cost-Based Model and Algorithms for Interleaving Solving and Elicitation of CSPs. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:666-680 [Conf]
- Huayue Wu, Peter van Beek
On Universal Restart Strategies for Backtracking Search. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:681-695 [Conf]
- Lin Xu, Holger H. Hoos, Kevin Leyton-Brown
Hierarchical Hardness Models for SAT. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:696-711 [Conf]
- Lin Xu, Frank Hutter, Holger H. Hoos, Kevin Leyton-Brown
: The Design and Analysis of an Algorithm Portfolio for SAT. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:712-727 [Conf]
- Stéphane Zampelli, Yves Deville, Christine Solnon, Sébastien Sorlin, Pierre Dupont
Filtering for Subgraph Isomorphism. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:728-742 [Conf]
- Alessandro Zanarini, Gilles Pesant
Solution Counting Algorithms for Constraint-Centered Search Heuristics. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:743-757 [Conf]
- Roie Zivan, Moshe Zazone, Amnon Meisels
Min-Domain Ordering for Asynchronous Backtracking. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:758-772 [Conf]
- Stefano Bistarelli, Pamela Peretti, Irina Trubitsyna
Answer Set Optimization for and/or Composition of CP-Nets: A Security Scenario. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:773-781 [Conf]
- Stefano Bistarelli, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable
Uncertainty in Bipolar Preference Problems. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:782-789 [Conf]
- Lucas Bordeaux, Youssef Hamadi, Moshe Y. Vardi
An Analysis of Slow Convergence in Interval Propagation. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:790-797 [Conf]
- David A. Cohen, Peter Jeavons, Stanislav Zivný
The Expressive Power of Valued Constraints: Hierarchies and Collapses. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:798-805 [Conf]
- Jean-François Condotta, Gérard Ligozat, Mahmoud Saade
Eligible and Frozen Constraints for Solving Temporal Qualitative Constraint Networks. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:806-814 [Conf]
- Marco Gavanelli
The Log-Support Encoding of CSP into SAT. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:815-822 [Conf]
- Ian P. Gent, Tom Kelsey, S. A. Linton, J. Pearson, Colva M. Roney-Dougal
Groupoids and Conditional Symmetry. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:823-830 [Conf]
- Diarmuid Grimes, Richard J. Wallace
Sampling Strategies and Variable Selection in Weighted Degree Heuristics. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:831-838 [Conf]
- Jinbo Huang
A Case for Simple SAT Solvers. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:839-846 [Conf]
- Zeynep Kiziltan, Andrea Lodi, Michela Milano, Fabio Parisini
CP-Based Local Branching. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:847-855 [Conf]
- Bart Peintner, Kristen Brent Venable, Neil Yorke-Smith
Strong Controllability of Disjunctive Temporal Problems with Uncertainty. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:856-863 [Conf]
- Vicente Ruiz de Angulo, Carme Torras
Exploiting Single-Cycle Symmetries in Branch-and-Prune algorithms. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:864-871 [Conf]
- Barbara M. Smith, Stefano Bistarelli, Barry O'Sullivan
Constraint Symmetry for the Soft CSP. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:872-879 [Conf]
- Toby Walsh
Breaking Value Symmetry. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:880-887 [Conf]
|