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