Projection, consistency, and George Boole (Q265702): Difference between revisions

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