The Boolean Constraint Solver of SWI-Prolog (System Description)

DOI10.1007/978-3-319-29604-3_4zbMath1475.68056OpenAlexW2407783078MaRDI QIDQ2798256

Markus Triska

Publication date: 4 April 2016

Published in: Functional and Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-29604-3_4

zbMATH Keywords

BDDdecision diagramsBoolean unificationCLP(B)

Mathematics Subject Classification ID

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

Related Items

Fifty Years of Prolog and Beyond, \textsc{Tor}: modular search with hookable disjunction

Uses Software

• CHIP
• Walksat
• SATO
• Prolog
• DIMACS
• SICStus
• clpb
• SWI-Prolog

Cites Work

• Projection, consistency, and George Boole
• A simple and efficient Boolean solver for constraint logic programming
• On the implementation ofGNU Prolog
• Graph-Based Algorithms for Boolean Function Manipulation
• Preprocessing Boolean Formulae for BDDs in a Probabilistic Context
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item