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