


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














