Projection, consistency, and George Boole

DOI10.1007/S10601-015-9201-2zbMATH Open1396.03041OpenAlexW1134418794MaRDI QIDQ265702FDOQ265702

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

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

zbMATH Keywords

optimizationconsistencyprojectioninferenceBoolelogic-based Benders decompositionsatisfiability

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (4)

• Title not available (Why is that?)
• Constraint programming and operations research
• The Boolean Constraint Solver of SWI-Prolog (System Description)
• Achieving consistency with cutting planes

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)