Search combinators

DOI10.1007/s10601-012-9137-8zbMath1309.90090arXiv1203.1095OpenAlexW2914215093MaRDI QIDQ487659

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

Publication date: 22 January 2015

Published in: Constraints (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1203.1095

zbMATH Keywords

modeling languageimplementationmodularitysearch heuristics

Mathematics Subject Classification ID

Approximation methods and heuristics in mathematical programming (90C59) Combinatorial optimization (90C27)

Related Items

Combining Heuristics for Configuration Problems Using Answer Set Programming ⋮ A microkernel architecture for constraint programming ⋮ Search combinators ⋮ MiniCP: a lightweight solver for constraint programming

Uses Software

• SALSA
• COMET
• MiniZinc
• Gecode
• JaCoP
• Oz
• B-Prolog
• Zinc
• SICStus
• SWI-Prolog
• OPL

Cites Work

• Unnamed Item
• Search combinators
• CP and IP approaches to cancer radiotherapy delivery optimization
• Nondeterministic control for hybrid search
• The design of the zinc modelling language
• Depth-first iterative-deepening: An optimal admissible tree search
• SALSA: a language for search algorithms
• SWI-Prolog
• ECLⁱPS^e – From LP to CLP
• The language features and architecture of B-Prolog
• Parallel Local Search in Comet
• Monadic constraint programming
• Search and strategies in OPL
• A Core Calculus for Scala Type Checking
• Principles and Practice of Constraint Programming – CP 2004

This page was built for publication: Search combinators