The Boolean constraint solver of SWI-Prolog (system description)

DOI10.1007/978-3-319-29604-3_4MaRDI QIDQ2798256zbMATH OpenOpenAlexFDO

Authors 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

BDDBoolean unificationCLP(B)decision diagrams

Mathematics Subject Classification ID

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

Recommendations

• A simple and efficient Boolean solver for constraint logic programming
• A pearl on SAT and SMT solving in Prolog
• Using Boolean Constraint Propagation for Sub-clauses Deduction
• A Pearl on SAT Solving in Prolog
• Compiling constraints in clp(FD)

Cites work

• A simple and efficient Boolean solver for constraint logic programming
• Graph-Based Algorithms for Boolean Function Manipulation
• scientific article; zbMATH DE number 2080337 (Why is no real title available?)
• scientific article; zbMATH DE number 1406235 (Why is no real title available?)
• scientific article; zbMATH DE number 956863 (Why is no real title available?)
• On the implementation of GNU Prolog
• Preprocessing Boolean formulae for BDDs in a probabilistic context
• Projection, consistency, and George Boole
• The art of computer programming. Vol. 4, Fasc. 0--4. Fasc. 0: Introduction to combinatorial algorithms and Boolean functions. Fasc. 1: Bitwise tricks \& techniques, binary decision diagrams. Fasc. 2: Generating all tuples and permutations. Fasc. 3: Genera

Cited in

(3)

• A simple and efficient Boolean solver for constraint logic programming
• \textsc{Tor}: modular search with hookable disjunction
• Fifty Years of Prolog and Beyond

Describes a project that uses

Uses Software

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

This page was built for publication: The Boolean constraint solver of SWI-Prolog (system description)

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