Volume 14; Issue 3

Constraints

Volume 14; Issue 3
1

Limitations of restricted branching in clause learning

Matti Järvisalo, Tommi Junttila
Journal:
Constraints
Year:
2009
Language:
english
File:
PDF, 880 KB
english, 2009
2

Model-driven visualizations of constraint-based local search

Grégoire Dooms, Pascal Van Hentenryck, Laurent Michel
Journal:
Constraints
Year:
2009
Language:
english
File:
PDF, 1.65 MB
english, 2009
3

Propagation via lazy clause generation

Olga Ohrimenko, Peter J. Stuckey, Michael Codish
Journal:
Constraints
Year:
2009
Language:
english
File:
PDF, 630 KB
english, 2009
4

Solution counting algorithms for constraint-centered search heuristics

Alessandro Zanarini, Gilles Pesant
Journal:
Constraints
Year:
2009
Language:
english
File:
PDF, 1.40 MB
english, 2009