default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDConstraints, Volume 17
Volume 17, Number 1, January 2012
- Geoffrey Chu, Maria Garcia de la Banda
, Peter J. Stuckey:
Exploiting subproblem dominance in constraint programming. 1-38 - Stefan Heinz, Thomas Schlechte, Rüdiger Stephan, Michael Winkler:
Solving steel mill slab design problems. 39-50 - Michele Lombardi, Michela Milano:
Optimal methods for resource allocation and scheduling: a cross-disciplinary survey. 51-85
Volume 17, Number 2, April 2012
- Sébastien Mouthuy, Pascal Van Hentenryck, Yves Deville:
Constraint-based Very Large-Scale Neighborhood search. 87-122 - Nadjib Lazaar, Arnaud Gotlieb, Yahia Lebbah:
A CP framework for testing CP. 123-147 - Steven D. Prestwich, Brahim Hnich, Helmut Simonis, Roberto Rossi, S. Armagan Tarim:
Partial symmetry breaking by local search in the group. 148-171 - Kamol Limtanyakul, Uwe Schwiegelshohn:
Improvements of constraint programming and hybrid methods for scheduling of tests on vehicle prototypes. 172-203
Volume 17, Number 3, July 2012
- Pascal Benchimol, Willem Jan van Hoeve, Jean-Charles Régin, Louis-Martin Rousseau, Michel Rueher:
Improved filtering for weighted circuit constraints. 205-233 - Radoslaw Cymer:
Dulmage-Mendelsohn Canonical Decomposition as a generic pruning technique. 234-272 - Miquel Bofill, Miquel Palahí, Josep Suy, Mateu Villaret:
Solving constraint satisfaction problems with SAT modulo theories. 273-303 - Ruben Martins, Vasco Manquinho, Inês Lynce:
An overview of parallel SAT solving. 304-347 - Younes Mechqrane, Mohamed Wahbi, Christian Bessiere, El-Houssine Bouyakhf, Amnon Meisels, Roie Zivan:
Corrigendum to "Min-domain retroactive ordering for asynchronous backtracking". 348-355
Volume 17, Number 4, October 2012
- Quang-Dung Pham, Yves Deville, Pascal Van Hentenryck:
LS(Graph): a constraint-based local search for constraint optimization on trees and paths. 357-408 - Quang-Dung Pham, Yves Deville:
Solving the quorumcast routing problem by constraint programming. 409-431 - Daisuke Ishii, Alexandre Goldsztejn, Christophe Jermann:
Interval-based projection method for under-constrained numerical systems. 432-460 - Pavlos Eirinakis, Salvatore Ruggieri, K. Subramani, Piotr Wojciechowski:
A complexity perspective on entailment of parameterized linear constraints. 461-487
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.
last updated on 2025-12-09 23:41 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
