Search combinators

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6876 LNCS, Issue , 2011, Pages 774-788

  Schrijvers, Tom ^a   Tack, Guido ^b   Wuille, Pieter ^b   Samulowitz, Horst ^c   Stuckey, Peter J ^d  

^a GHENT UNIVERSITY   (Belgium)

^b UNIVERSITY OF LEUVEN   (Belgium)

^c IBM RESEARCH   (United States)

^d UNIVERSITY OF MELBOURNE   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMBINATORIAL PROBLEM; COMBINATORS; CONSTRAINT SOLVERS; EFFICIENT IMPLEMENTATION; EMPIRICAL EVALUATIONS; IMPLEMENTATION COST; MODEL SEARCH; MODELING CAPABILITIES; MODULAR IMPLEMENTATION; PROGRAMMING LANGUAGE; SEARCH HEURISTICS; LOW LEVEL PROGRAMMING;

COMPUTER PROGRAMMING; CONSTRAINT THEORY; HEURISTIC ALGORITHMS; HIGH LEVEL LANGUAGES; LOGIC PROGRAMMING;

HIGH LEVEL LANGUAGES; MODELING LANGUAGES;

EID: 80052987896     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-23786-7_58     Document Type: Conference Paper

References (22)

1. Baatar, D., Boland, N., Brand, S., Stuckey, P.J.: CP and IP approaches to cancer radiotherapy delivery optimization. Constraints 16(2), 173-194 (2011)
2. Cook, W.R.: A denotational semantics of inheritance. Ph.D. thesis, Brown University (1989)
3. IBM ILOG CP Optimizer (2011), http://www-01.ibm.com/software/integration/ optimization/cplex-cp-optimizer/
4. Cremet, V., Garillot, F., Lenglet, S., Odersky, M.: A core calculus for Scala type checking. In: Královič, R., Urzyczyn, P. (eds.) MFCS 2006. LNCS, vol. 4162, pp. 1-23. Springer, Heidelberg (2006)
5. ECLiPSe (2008), http://www.eclipse-clp.org/
6. Harvey, W.D., Ginsberg, M.L.: Limited discrepancy search. In: IJCAI, pp. 607-613 (1995)
7. Korf, R.E.: Depth-first iterative-deepening: an optimal admissible tree search. Artif. Intell. 27, 97-109 (1985)
8. Laburthe, F., Caseau, Y.: SALSA: A language for search algorithms. Constraints 7(3), 255-288 (2002)
9. Marriott, K., Nethercote, N., Rafeh, R., Stuckey, P., Garcia de la Banda, M., Wallace, M.: The design of the Zinc modelling language. Constraints 13(3), 229-267 (2008)
10. Nethercote, N., Stuckey, P.J., Becket, R., Brand, S., Duck, G.J., Tack, G.: MiniZinc: Towards a standard CP modelling language. In: Bessière, C. (ed.) CP 2007. LNCS, vol. 4741, pp. 529-543. Springer, Heidelberg (2007)
11. Perron, L.: Search procedures and parallelism in constraint programming. In: Jaffar, J. (ed.) CP 1999. LNCS, vol. 1713, pp. 346-361. Springer, Heidelberg (1999)
12. Puget, J.F.: A C++ implementation of CLP. In: Proceedings of the Second Singapore International Conference on Intelligent Systems (SPICIS). pp. B256-B261 (November 1994)
13. Refalo, P.: Impact-based search strategies for constraint programming. In: Wallace, M. (ed.) CP 2004. LNCS, vol. 3258, pp. 557-571. Springer, Heidelberg (2004)
14. Samulowitz, H., Tack, G., Fischer, J., Wallace, M., Stuckey, P.: Towards a lightweight standard search language. In: ModRef (2010)
15. Schrijvers, T., Stuckey, P.J., Wadler, P.: Monadic constraint programming. Journal of Functional Programming 19(6), 663-697 (2009)
16. Schulte, C.: Programming constraint inference engines. In: Smolka, G. (ed.) CP 1997. LNCS, vol. 1330, pp. 519-533. Springer, Heidelberg (1997)
17. Sellmann, M., Kadioglu, S.: Dichotomic search protocols for constrained optimization. In: Stuckey, P.J. (ed.) CP 2008. LNCS, vol. 5202, pp. 251-265. Springer, Heidelberg (2008)
18. SICStus Prolog (2008), http://www.sics.se/isl/sicstuswww/site/
19. Smolka, G.: The Oz programming model. In: van Leeuwen, J. (ed.) Computer Science Today. LNCS, vol. 1000, pp. 324-343. Springer, Heidelberg (1995)
20. Van Hentenryck, P., Michel, L.: Constraint-Based Local Search. MIT Press, Cambridge (2005)
21. Van Hentenryck, P., Michel, L.: Nondeterministic control for hybrid search. Constraints 11(4), 353-373 (2006)
22. Van Hentenryck, P., Perron, L., Puget, J.F.: Search and strategies in OPL. ACM TOCL 1(2), 285-315 (2000)