Paparrizou, Anastasia; Stergiou, Kostas Strong local consistency algorithms for table constraints. (English) Zbl 1334.90169 Constraints 21, No. 2, 163-197 (2016). MSC: 90C30 × Cite Format Result Cite Review PDF Full Text: DOI Link
Prud’homme, Charles; Lorca, Xavier; Jussien, Narendra Explanation-based large neighborhood search. (English) Zbl 1316.90048 Constraints 19, No. 4, 339-379 (2014). MSC: 90C30 × Cite Format Result Cite Review PDF Full Text: DOI HAL
Mairy, Jean-Baptiste; van Hentenryck, Pascal; Deville, Yves Optimal and efficient filtering algorithms for table constraints. (English) Zbl 1328.68201 Constraints 19, No. 1, 77-120 (2014). MSC: 68T20 × Cite Format Result Cite Review PDF Full Text: DOI Link
Deville, Yves; van Hentenryck, Pascal; Mairy, Jean-Baptiste Domain consistency with forbidden values. (English) Zbl 1303.90065 Constraints 18, No. 3, 377-403 (2013). MSC: 90C09 90-04 × Cite Format Result Cite Review PDF Full Text: DOI Link
Schutt, Andreas; Feydy, Thibaut; Stuckey, Peter J.; Wallace, Mark G. Explaining the cumulative propagator. (English) Zbl 1226.68099 Constraints 16, No. 3, 250-282 (2011). MSC: 68T20 90B35 × Cite Format Result Cite Review PDF Full Text: DOI
Cheng, Kenil C. K.; Yap, Roland H. C. An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints. (English) Zbl 1204.68188 Constraints 15, No. 2, 265-304 (2010). MSC: 68T20 × Cite Format Result Cite Review PDF Full Text: DOI
Kadioglu, Serdar; Sellmann, Meinolf Grammar constraints. (English) Zbl 1191.68364 Constraints 15, No. 1, 117-144 (2010). MSC: 68Q42 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Tamura, Naoyuki; Taga, Akiko; Kitagawa, Satoshi; Banbara, Mutsunori Compiling finite linear CSP into SAT. (English) Zbl 1186.68076 Constraints 14, No. 2, 254-272 (2009). MSC: 68M20 68T20 × Cite Format Result Cite Review PDF Full Text: DOI OA License
Goualard, Frédéric; Jermann, Christophe A reinforcement learning approach to interval constraint propagation. (English) Zbl 1147.68630 Constraints 13, No. 1-2, 206-226 (2008). MSC: 68T05 × Cite Format Result Cite Review PDF Full Text: DOI HAL
Bessiere, Christian; Hebrard, Emmanuel; Hnich, Brahim; Walsh, Toby The complexity of reasoning with global constraints. (English) Zbl 1124.68103 Constraints 12, No. 2, 239-259 (2007). MSC: 68T20 68Q17 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Artiouchine, Konstantin; Baptiste, Philippe Arc-B-consistency of the inter-distance constraint. (English) Zbl 1118.68156 Constraints 12, No. 1, 3-19 (2007). MSC: 68T20 68W05 × Cite Format Result Cite Review PDF Full Text: DOI
Cambazard, Hadrien; Jussien, Narendra Identifying and exploiting problem structures using explanation-based constraint programming. (English) Zbl 1117.90075 Constraints 11, No. 4, 295-313 (2006). MSC: 90C59 68T20 × Cite Format Result Cite Review PDF Full Text: DOI HAL
Verfaillie, Gérard; Jussien, Narendra Constraint solving in uncertain and dynamic environments: A survey. (English) Zbl 1086.68595 Constraints 10, No. 3, 253-281 (2005). MSC: 68T20 × Cite Format Result Cite Review PDF Full Text: DOI HAL
Lebbah, Yahia; Michel, Claude; Rueher, Michel A rigorous global filtering algorithm for quadratic constraints. (English) Zbl 1066.90090 Constraints 10, No. 1, 47-65 (2005). MSC: 90C26 65K05 × Cite Format Result Cite Review PDF Full Text: DOI