Bădică, Amelia; Bădică, Costin; Ivanović, Mirjana Block structured scheduling using constraint logic programming. (English) Zbl 1464.90024 AI Commun. 33, No. 1, 41-57 (2020). MSC: 90B35 68N17 68T20 PDFBibTeX XMLCite \textit{A. Bădică} et al., AI Commun. 33, No. 1, 41--57 (2020; Zbl 1464.90024) Full Text: DOI
Caldwell, James; Gent, Ian P.; Nightingale, Peter Generalized support and formal development of constraint propagators. (English) Zbl 1420.68193 AI Commun. 30, No. 5, 325-346 (2017). MSC: 68T20 PDFBibTeX XMLCite \textit{J. Caldwell} et al., AI Commun. 30, No. 5, 325--346 (2017; Zbl 1420.68193) Full Text: DOI arXiv
Asín, Roberto; Bezem, Marc; Nieuwenhuis, Robert Improving IntSat by expressing disjunctions of bounds as linear constraints. (English) Zbl 1373.68370 AI Commun. 29, No. 1, 205-209 (2016). MSC: 68T20 68T05 90C10 PDFBibTeX XMLCite \textit{R. Asín} et al., AI Commun. 29, No. 1, 205--209 (2016; Zbl 1373.68370) Full Text: DOI
Otten, Lars; Dechter, Rina Anytime AND/OR depth-first search for combinatorial optimization. (English) Zbl 1250.90075 AI Commun. 25, No. 3, 211-227 (2012). MSC: 90C27 90C35 PDFBibTeX XMLCite \textit{L. Otten} and \textit{R. Dechter}, AI Commun. 25, No. 3, 211--227 (2012; Zbl 1250.90075) Full Text: DOI
Wang, Xiaofang; Policella, Nicola; Smith, Stephen F.; Oddi, Angelo Constraint-based methods for scheduling discretionary services. (English) Zbl 1228.90039 AI Commun. 24, No. 1, 51-73 (2011). MSC: 90B35 90C30 PDFBibTeX XMLCite \textit{X. Wang} et al., AI Commun. 24, No. 1, 51--73 (2011; Zbl 1228.90039) Full Text: DOI
Stergiou, Kostas Heuristics for dynamically adapting propagation in constraint satisfaction problems. (English) Zbl 1185.90191 AI Commun. 22, No. 3, 125-141 (2009). MSC: 90C30 90C59 PDFBibTeX XMLCite \textit{K. Stergiou}, AI Commun. 22, No. 3, 125--141 (2009; Zbl 1185.90191) Full Text: DOI
Gent, Ian P.; Jefferson, Chris; Kelsey, Tom; Lynce, Inês; Miguel, Ian; Nightingale, Peter; Smith, Barbara M.; Tarim, S. Armagan Search in the patience game ‘Black Hole’. (English) Zbl 1151.90525 AI Commun. 20, No. 3, 211-226 (2007). MSC: 90C27 68T01 PDFBibTeX XMLCite \textit{I. P. Gent} et al., AI Commun. 20, No. 3, 211--226 (2007; Zbl 1151.90525)
Dotú, Iván; Van Hentenryck, Pascal Scheduling social tournaments locally. (English) Zbl 1146.90411 AI Commun. 20, No. 3, 151-162 (2007). MSC: 90B35 PDFBibTeX XMLCite \textit{I. Dotú} and \textit{P. Van Hentenryck}, AI Commun. 20, No. 3, 151--162 (2007; Zbl 1146.90411)
Hnich, Brahim Function variables for constraint programming. (English) Zbl 1159.68390 AI Commun. 16, No. 2, 131-132 (2003). MSC: 68N19 PDFBibTeX XMLCite \textit{B. Hnich}, AI Commun. 16, No. 2, 131--132 (2003; Zbl 1159.68390)