OPBDP
From MaRDI portal
Software:17176
swMATH5036MaRDI QIDQ17176FDOQ17176
Author name not available (Why is that?)
Cited In (14)
- Title not available (Why is that?)
- Optimal Base Encodings for Pseudo-Boolean Constraints
- Modelling either-or relations in integer programming
- Formulating logical implications in combinatorial optimisation
- An enhanced rostering model for airline crews
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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
