An Introduction to Search Combinators

DOI10.1007/978-3-642-38197-3_2zbMath1394.68362OpenAlexW2104362326MaRDI QIDQ2848892

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

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)

Uses Software

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

This page was built for publication: An Introduction to Search Combinators