default search action
Constraints, Volume 19
Volume 19, Number 1, January 2014
- Kathryn Glenn Francis, Peter J. Stuckey:
Explaining circuit propagation. 1-29 - Mohamed Siala, Emmanuel Hebrard, Marie-José Huguet:
An optimal arc consistency algorithm for a particular case of sequence constraint. 30-56 - Charles Prud'homme, Xavier Lorca, Rémi Douence, Narendra Jussien:
Propagation engine prototyping with a domain specific language. 57-76 - Jean-Baptiste Mairy, Pascal Van Hentenryck, Yves Deville:
Optimal and efficient filtering algorithms for table constraints. 77-120
Volume 19, Number 2, April 2014
- Michela Milano, Pascal Van Hentenryck:
Looking into the crystal-ball: a bright future for CP. 121-125 - Maria Garcia de la Banda, Peter J. Stuckey, Pascal Van Hentenryck, Mark Wallace:
The future of optimization technology. 126-138 - Nicolas Beldiceanu, Pierre Flener, Jean-Noël Monette, Justin Pearson, Helmut Simonis:
Toward sustainable development in constraint programming. 139-149 - Eugene C. Freuder, Barry O'Sullivan:
Grand challenges for constraint programming. 150-162 - Thomas W. Kelsey, Lars Kotthoff, Christopher Jefferson, Stephen A. Linton, Ian Miguel, Peter Nightingale, Ian P. Gent:
Qualitative modelling via constraint programming. 163-173 - Michela Milano, Michele Lombardi:
Strategic decision making on complex systems. 174-185 - Francesca Rossi:
Collective decision making: a great opportunity for constraint reasoning. 186-194
Volume 19, Number 3, July 2014
- Christopher Mears, Maria Garcia de la Banda, Bart Demoen, Mark Wallace:
Lightweight dynamic symmetry breaking. 195-242 - Roger Kameugne, Laure Pauline Fotso, Joseph D. Scott, Youcheu Ngo-Kateu:
A quadratic edge-finding filtering algorithm for cumulative resource constraints. 243-269 - Jimmy Ho-Man Lee, Ka Lun Leung, Yu Wai Shum:
Consistency techniques for polytime linear global cost functions in weighted constraint satisfaction. 270-308 - Marie Pelleau, Charlotte Truchet, Frédéric Benhamou:
The octagon abstract domain for continuous constraints. 309-337
Volume 19, Number 4, October 2014
- Charles Prud'homme, Xavier Lorca, Narendra Jussien:
Explanation-based large neighborhood search. 339-379 - Mirko Stojadinovic, Filip Maric:
meSAT: multiple encodings of CSP to SAT. 380-403 - David Bergman, John N. Hooker:
Graph coloring inequalities from all-different systems. 404-433 - Geoffrey Chu, Maria Garcia de la Banda, Christopher Mears, Peter J. Stuckey:
Symmetries, almost symmetries, and lazy clause generation. 434-462
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.