An introduction to search combinators

DOI10.1007/978-3-642-38197-3_2MaRDI QIDQ2848892zbMATH OpenOpenAlexFDO

Authors Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey

Publication date 13 September 2013

Published in Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL https://lirias.kuleuven.be/handle/123456789/413530

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Search combinators
• Principles and Practice of Constraint Programming – CP 2004
• Contraint-based combinators for local search
• Combinatorial search: from algorithms to systems
• Tools for modeling and solving search problems

Cited in

(5)

• Combinatorial search: from algorithms to systems
• Des explications pour reconnaître et exploiter les structures cachées d'un problème combinatoire
• Search algorithms in type theory
• Search combinators
• Combinatorial search from an energy perspective

Describes a project that uses

Uses Software

• Scala
• B-Prolog
• JaCoP
• Gecode
• MiniZinc

This page was built for publication: An introduction to search combinators

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2848892)