Cited in
(15)- Logic-based 0-1 constraint programming
- An enhanced rostering model for airline crews
- scientific article; zbMATH DE number 1538005 (Why is no real title available?)
- Optimal base encodings for pseudo-Boolean constraints
- Representations of the all\_different predicate of constraint satisfaction in integer programming
- Modelling either-or relations in integer programming
- scientific article; zbMATH DE number 516985 (Why is no real title available?)
- Mixed logical-linear programming
- Pueblo
- Learn to relax: integrating \(0-1\) integer linear programming with pseudo-Boolean conflict-driven search
- Formulating logical implications in combinatorial optimisation
- Computer Aided Verification
- scientific article; zbMATH DE number 5139167 (Why is no real title available?)
- Branch and Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming
- Optimal Design of Truss Structures by Logic-Based Branch and Cut
This page was built for software: OPBDP
