Projection, consistency, and George Boole

DOI10.1007/S10601-015-9201-2MaRDI QIDQ265702zbMATH OpenOpenAlexFDO

Authors John N. Hooker

Publication date 12 April 2016

Published in Constraints (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10601-015-9201-2

zbMATH Keywords

optimizationconsistencyprojectioninferenceBoolelogic-based Benders decompositionsatisfiability

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Axioms; other general questions in probability (60A05)

Recommendations

• A Boole anthology. Recent and classical studies in the logic of George Boole. Including papers from the international Boole conference, Lausanne, Switzerland, September 26--27, 1997
• Boole's conditions of possible experience and reasoning under uncertainty
• Direct algorithms for checking consistency and making inferences from conditional probability assessments
• scientific article; zbMATH DE number 2079829
• Boole's logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory. 2nd ed., rev. and enlarged

Cites work

• scientific article; zbMATH DE number 5838699 (Why is no real title available?)
• scientific article; zbMATH DE number 408798 (Why is no real title available?)
• scientific article; zbMATH DE number 1349588 (Why is no real title available?)
• scientific article; zbMATH DE number 2243370 (Why is no real title available?)
• scientific article; zbMATH DE number 3076638 (Why is no real title available?)
• A Sufficient Condition for Backtrack-Free Search
• A Way to Simplify Truth Functions
• A hybrid method for probabilistic satisfiability
• A linear programming approach to reasoning about probabilities
• A polyhedral approach to the \textit{alldifferent} system
• Boole's logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory
• Column Generation Methods for Probabilistic Logic
• Discrete optimization with decision diagrams
• Generalized resolution for 0--1 linear inequalities
• Graph coloring inequalities from all-different systems
• Integrated methods for optimization
• Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
• Introducing global constraints in CHIP
• Logic-based Benders decomposition
• Manipulating MDD relaxations for combinatorial optimization
• Merging the local and global approaches to probabilistic satisfiability
• Multivalued decision diagrams for sequencing problems
• On the facial structure of the alldifferent system
• On the system of two all different\(\_\)predicates
• Parallel Combinatorial Optimization with Decision Diagrams
• Partitioning procedures for solving mixed-variables programming problems
• Planning and Scheduling by Logic-Based Benders Decomposition
• Practical issues on the projection of polyhedral sets
• Principles and Practice of Constraint Programming – CP 2004
• Probabilistic logic
• Revisiting the Sequence Constraint
• Solution Enumeration for Projected Boolean Search Problems
• The Problem of Simplifying Truth Functions

Cited in

(4)

• Constraint programming and operations research
• scientific article; zbMATH DE number 7576752 (Why is no real title available?)
• Achieving consistency with cutting planes
• The Boolean constraint solver of SWI-Prolog (system description)

Describes a project that uses

Uses Software

• Pronto

This page was built for publication: Projection, consistency, and George Boole

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