Stuckey, Peter J.; Becket, Ralph; Fischer, Julien Philosophy of the MiniZinc challenge. (English) Zbl 1208.68207 Constraints 15, No. 3, 307-316 (2010). MSC: 68T20 × Cite Format Result Cite Review PDF Full Text: DOI
Lecoutre, Christophe; Roussel, Olivier; van Dongen, M. R. C. Promoting robust black-box solvers through competitions. (English) Zbl 1208.68203 Constraints 15, No. 3, 317-326 (2010). MSC: 68T20 × Cite Format Result Cite Review PDF Full Text: DOI
Živný, Stanislav; Jeavons, Peter G. Classes of submodular constraints expressible by graph cuts. (English) Zbl 1208.68196 Constraints 15, No. 3, 430-452 (2010). MSC: 68T20 × Cite Format Result Cite Review PDF Full Text: DOI
Domes, Ferenc; Neumaier, Arnold Constraint propagation on quadratic constraints. (English) Zbl 1208.68200 Constraints 15, No. 3, 404-429 (2010). MSC: 68T20 90C20 × Cite Format Result Cite Review PDF Full Text: DOI
Law, Yat Chiu; Lee, Jimmy H. M.; Woo, May H. C. Redundant modeling in permutation weighted constraint satisfaction problems. (English) Zbl 1208.68202 Constraints 15, No. 3, 354-403 (2010). MSC: 68T20 × Cite Format Result Cite Review PDF Full Text: DOI
Zampelli, Stéphane; Deville, Yves; Solnon, Christine Solving subgraph isomorphism problems with constraint programming. (English) Zbl 1213.68473 Constraints 15, No. 3, 327-353 (2010). MSC: 68R10 68W05 × Cite Format Result Cite Review PDF Full Text: DOI HAL