An introduction to search combinators

DOI10.1007/978-3-642-38197-3_2zbMATH Open1394.68362OpenAlexW2104362326MaRDI QIDQ2848892FDOQ2848892

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

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

Mathematics Subject Classification ID

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

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

Uses Software

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

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)