CP A

68 papers

YearTitle / Authors
2006: A Bottom-Up Approach for Solving Quantified CSPs.
Guillaume Verger, Christian Bessiere
2006A Filter for the Circuit Constraint.
Latife Genç Kaya, John N. Hooker
2006A New Algorithm for Sampling CSP Solutions Uniformly at Random.
Vibhav Gogate, Rina Dechter
2006A Note on Low Autocorrelation Binary Sequences.
Iván Dotú, Pascal Van Hentenryck
2006A Simple Distribution-Free Approach to the Max
Matthew J. Streeter, Stephen F. Smith
2006A Structural Characterization of Temporal Dynamic Controllability.
Paul Morris
2006Adaptive Clause Weight Redistribution.
Abdelraouf Ishtaiwi, John Thornton, Anbulagan, Abdul Sattar, Duc Nghia Pham
2006Algorithms and Constraint Programming.
Fabrizio Grandoni, Giuseppe F. Italiano
2006Algorithms for Stochastic CSPs.
Thanasis Balafoutis, Kostas Stergiou
2006An Algebraic Characterisation of Complexity for Valued Constraint.
David A. Cohen, Martin C. Cooper, Peter Jeavons
2006An Extension of Complexity Bounds and Dynamic Heuristics for Tree-Decompositions of CSP.
Philippe Jégou, Samba Ndiaye, Cyril Terrioux
2006Approximability of Integer Programming with Generalised Constraints.
Peter Jonsson, Fredrik Kuivinen, Gustav Nordh
2006Boosting Open CSPs.
Santiago Macho González, Carlos Ansótegui, Pedro Meseguer
2006Clique Inference Process for Solving Max-CSP.
Mohand Ou Idir Khemmoudj, Hachemi Bennaceur
2006CoJava: Optimization Modeling by Nondeterministic Simulation.
Alexander Brodsky, Hadon Nash
2006Compiling Constraint Networks into AND/OR Multi-valued Decision Diagrams (AOMDDs).
Robert Mateescu, Rina Dechter
2006Compiling Finite Linear CSP into SAT.
Naoyuki Tamura, Akiko Taga, Satoshi Kitagawa, Mutsunori Banbara
2006Constraint Based Resilience Analysis.
Helmut Simonis
2006Constraint Programming Models for Graceful Graphs.
Barbara M. Smith
2006Constraint Propagation for Domain Bounding in Distributed Task Scheduling.
Evan Sultanik, Pragnesh Jay Modi, William C. Regli
2006Constraint Satisfaction with Bounded Treewidth Revisited.
Marko Samer, Stefan Szeider
2006Decomposition of Multi-operator Queries on Semiring-Based Graphical Models.
Cédric Pralet, Thomas Schiex, Gérard Verfaillie
2006Differentiable Invariants.
Pascal Van Hentenryck, Laurent Michel
2006Distributed Constraint-Based Local Search.
Laurent Michel, Andrew See, Pascal Van Hentenryck
2006Distributed Stable Matching Problems with Ties and Incomplete Lists.
Ismel Brito, Pedro Meseguer
2006Dynamic Lex Constraints.
Jean-François Puget
2006Dynamic Symmetry Breaking Restarted.
Daniel S. Heller, Meinolf Sellmann
2006Failure Analysis in Backtrack Search for Constraint Satisfaction.
Tudor Hulubei, Barry O'Sullivan
2006General Symmetry Breaking Constraints.
Toby Walsh
2006Generalized Arc Consistency for Positive Table Constraints.
Christophe Lecoutre, Radoslaw Szymanek
2006Generalizing AllDifferent: The SomeDifferent Constraint.
Yossi Richter, Ari Freund, Yehuda Naveh
2006Generating Propagators for Finite Set Constraints.
Guido Tack, Christian Schulte, Gert Smolka
2006Global Grammar Constraints.
Claude-Guy Quimper, Toby Walsh
2006Global Optimization of Probabilistically Constrained Linear Programs.
Shabbir Ahmed
2006Graph Properties Based Filtering.
Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey, Thierry Petit
2006Heavy-Tailed Runtime Distributions: Heuristics, Models and Optimal Refutations.
Tudor Hulubei, Barry O'Sullivan
2006High-Level Nondeterministic Abstractions in.
Laurent Michel, Andrew See, Pascal Van Hentenryck
2006Impact of Censored Sampling on the Performance of Restart Strategies.
Matteo Gagliolo, Jürgen Schmidhuber
2006Inferring Variable Conflicts for Local Search.
Magnus Ågren, Pierre Flener, Justin Pearson
2006Infinite Qualitative Simulations by Means of Constraint Programming.
Krzysztof R. Apt, Sebastian Brand
2006Inner and Outer Approximations of Existentially Quantified Equality Constraints.
Alexandre Goldsztejn, Luc Jaulin
2006Interactive Distributed Configuration.
Peter Tiedemann, Tarik Hadzic, Thomas Stuart Henney, Henrik Reif Andersen
2006Interval Analysis and Robotics.
Jean-Pierre Merlet
2006Localization of an Underwater Robot Using Interval Constraint Propagation.
Luc Jaulin
2006Mini-bucket Elimination with Bucket Propagation.
Emma Rollon, Javier Larrosa
2006Performance Prediction and Automated Tuning of Randomized and Parametric Algorithms.
Frank Hutter, Youssef Hamadi, Holger H. Hoos, Kevin Leyton-Brown
2006Preprocessing QBF.
Horst Samulowitz, Jessica Davies, Fahiem Bacchus
2006Principles and Practice of Constraint Programming - CP 2006, 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings
Frédéric Benhamou
2006Propagation in CSP and SAT.
Yannis Dimopoulos, Kostas Stergiou
2006Randomization in Constraint Programming for Airline Planning.
Lars Otten, Mattias Grönkvist, Devdatt P. Dubhashi
2006Reasoning by Dominance in Not-Equals Binary Constraint Networks.
Belaid Benhamou, Mohamed Réda Saïdi
2006Relaxations and Explanations for Quantified Constraint Satisfaction Problems.
Alex Ferguson, Barry O'Sullivan
2006Retroactive Ordering for Dynamic Backtracking.
Roie Zivan, Uri Shapen, Moshe Zazone, Amnon Meisels
2006Revisiting the Sequence Constraint.
Willem Jan van Hoeve, Gilles Pesant, Louis-Martin Rousseau, Ashish Sabharwal
2006Soft Arc Consistency Applied to Optimal Planning.
Martin C. Cooper, Sylvain Cussat-Blanc, Marie de Roquemaurel, Pierre Régnier
2006Sports League Scheduling: Enumerative Search for Prob026 from CSPLib.
Jean-Philippe Hamiez, Jin-Kao Hao
2006Static and Dynamic Structural Symmetry Breaking.
Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck
2006Stochastic Allocation and Scheduling for Conditional Task Graphs in MPSoCs.
Michele Lombardi, Michela Milano
2006The
Grégoire Dooms, Irit Katriel
2006The Effect of Constraint Representation on Structural Tractability.
Chris Houghton, David A. Cohen, Martin James Green
2006The Modelling Language Zinc.
Maria J. García de la Banda, Kim Marriott, Reza Rafeh, Mark Wallace
2006The ROOTS Constraint.
Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh
2006The Theory of Grammar Constraints.
Meinolf Sellmann
2006Towards an Efficient SAT Encoding for Temporal Reasoning.
Duc Nghia Pham, John Thornton, Abdul Sattar
2006Typed Guarded Decompositions for Constraint Satisfaction.
David A. Cohen, Martin James Green
2006Watched Literals for Constraint Propagation in Minion.
Ian P. Gent, Christopher Jefferson, Ian Miguel
2006When Constraint Programming and Local Search Solve the Scheduling Problem of Electricité de France Nuclear Power Plant Outages.
Mohand Ou Idir Khemmoudj, Marc Porcheron, Hachemi Bennaceur
2006When Interval Analysis Helps Inter-block Backtracking.
Bertrand Neveu, Gilles Chabert, Gilles Trombettoni