Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDConstraints, Volume 18
Volume 18, Number 1, January 2013
- Nicolas Beldiceanu, Mats Carlsson, Pierre Flener
, Justin Pearson:
On the reification of global constraints. 1-6 - Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, Carles Mateu:
On the hardness of solving edge matching puzzles as SAT or CSP problems. 7-37 - Gianluigi Greco, Francesco Scarcello:
Structural tractability of enumerating CSP solutions. 38-74 - Christian Schulte, Guido Tack:
View-based propagator derivation. 75-107 - Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson:
On matrices, automata, and double counting in constraint programming. 108-140
Volume 18, Number 2, April 2013
- Andrea Rendl, J. Christopher Beck:
Introduction to the special issue on constraint modelling and reformulation. 141-143 - Roman Barták, Radomír Cernoch, Ondrej Kuzelka, Filip Zelezný:
Formulating the template ILP consistency problem as a constraint satisfaction problem. 144-165 - Stefan Heinz, Jens Schulz, J. Christopher Beck:
Using dual presolving reductions to reformulate cumulative constraints. 166-201 - Miquel Bofill, Dídac Busquets, Víctor Muñoz, Mateu Villaret:
Reformulation based MaxSAT robustness. 202-235 - Carlos Ansótegui, Miquel Bofill, Miquel Palahí, Josep Suy, Mateu Villaret:
Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories. 236-268 - Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey:
Search combinators. 269-305
Volume 18, Number 3, July 2013
- Yat Chiu Law, Jimmy Ho-Man Lee, Toby Walsh, May H. C. Woo:
Multiset variable representations and constraint propagation. 307-343 - Elsa Carvalho, Jorge Cruz, Pedro Barahona:
Probabilistic constraints for nonlinear inverse problems - An ocean color remote sensing example. 344-376 - Yves Deville, Pascal Van Hentenryck, Jean-Baptiste Mairy:
Domain consistency with forbidden values. 377-403 - Mohamed Wahbi, Redouane Ezzahir, Christian Bessiere, El-Houssine Bouyakhf:
Nogood-based asynchronous forward checking algorithms. 404-433 - Cemalettin Öztürk, Semra Tunali, Brahim Hnich, M. Arslan Ornek:
Balancing and scheduling of flexible mixed model assembly lines. 434-469
Volume 18, Number 4, October 2013
- Bart Demoen, Maria Garcia de la Banda:
Redundant disequalities in the Latin Square problem. 471-477 - António Morgado, Federico Heras, Mark H. Liffiton, Jordi Planes, João Marques-Silva:
Iterative and core-guided MaxSAT solving: A survey and assessment. 478-534 - Carlos Olarte, Camilo Rueda, Frank D. Valencia:
Models and emerging trends of concurrent constraint programming. 535-578 - Marco Correia, Pedro Barahona:
View-based propagation of decomposable constraints. 579-608
a service of 
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 2024-07-01 21:40 CEST 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:
