dblp: Constraints, Volume 15

Eugene C. Freuder, Robert Heffernan, Richard J. Wallace, Nic Wilson: Lexicographically-ordered constraint satisfaction problems. 1-28

Radu Marinescu, Rina Dechter: Evaluating the impact of AND/OR search on 0-1 integer linear programming. 29-63

Barbara M. Smith, Jean-François Puget: Constraint models for graceful graphs. 64-92

Bertrand Neveu, Gilles Trombettoni, Gilles Chabert: Improving inter-block backtracking with interval Newton. 93-116

Serdar Kadioglu, Meinolf Sellmann: Grammar constraints. 117-144

Hadrien Cambazard, Barry O'Sullivan: Erratum to "Reformulating table constraints using functional dependencies - an application to explanation generation". 145-147

Peter J. Stuckey: Introduction to the special issue on the Fourteenth International Conference on Principles and Practice of Constraint Programming (CP 2008). 149-150

Tony Minoru Tamura Lopes, André A. Ciré, Cid Carvalho de Souza, Arnaldo Vieira Moura: A hybrid model for a multiproduct pipeline planning and scheduling problem. 151-189

Alexandre Goldsztejn, Laurent Granvilliers: A new framework for sharp and efficient resolution of NCSP with manifolds of solutions. 190-212

Jean-Marie Normand, Alexandre Goldsztejn, Marc Christie, Frédéric Benhamou: A branch and bound algorithm for numerical Max-CSP. 213-237

Hélène Collavizza, Michel Rueher, Pascal Van Hentenryck: CPBPV: a constraint-programming framework for bounded program verification. 238-264

Kenil C. K. Cheng, Roland H. C. Yap: An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints. 265-304

Gilles Pesant: Editor's note. 305-306

Peter J. Stuckey, Ralph Becket, Julien Fischer: Philosophy of the MiniZinc challenge. 307-316

Christophe Lecoutre, Olivier Roussel, Marc R. C. van Dongen: Promoting robust black-box solvers through competitions. 317-326

Stéphane Zampelli, Yves Deville, Christine Solnon: Solving subgraph isomorphism problems with constraint programming. 327-353

Yat Chiu Law, Jimmy Ho-Man Lee, May H. C. Woo: Redundant modeling in permutation weighted constraint satisfaction problems. 354-403

Ferenc Domes, Arnold Neumaier: Constraint propagation on quadratic constraints. 404-429

Stanislav Zivny, Peter G. Jeavons: Classes of submodular constraints expressible by graph cuts. 430-452

Pedro Meseguer, Francesca Rossi, Thomas Schiex: Introduction to the special issue on Constraint-based approaches to Preference Modelling and Reasoning. 453-455

Chu Min Li, Felip Manyà, Nouredine Ould Mohamedou, Jordi Planes: Resolution-based lower bounds in MaxSAT. 456-484

Emanuele Di Rosa, Enrico Giunchiglia, Marco Maratea: Solving satisfiability problems with preferences. 485-515

Hélène Fargier, Emma Rollon, Nic Wilson: Enabling local computation for partially ordered preferences. 516-539

Nic Wilson, Diarmuid Grimes, Eugene C. Freuder: Interleaving solving and elicitation of constraint satisfaction problems based on expected cost. 540-573

Markus Zanker, Markus Jessenitschnig, Wolfgang Schmid: Preference reasoning with soft constraints in constraint-based recommender systems. 574-595

Constraints, Volume 15

Volume 15, Number 1, January 2010

Volume 15, Number 2, April 2010

Volume 15, Number 3, July 2010

Volume 15, Number 4, October 2010