Logic-based 0-1 constraint programming
From MaRDI portal
Publication:1906223
zbMath0851.68010MaRDI QIDQ1906223
Publication date: 8 February 1996
Published in: Operations Research/Computer Science Interfaces Series (Search for Journal in Brave)
Numerical mathematical programming methods (65K05) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Logic programming (68N17)
Related Items (5)
Mixed logical-linear programming ⋮ Optimal Base Encodings for Pseudo-Boolean Constraints ⋮ An enhanced rostering model for airline crews ⋮ Modelling either-or relations in integer programming ⋮ Learn to relax: integrating \(0-1\) integer linear programming with pseudo-Boolean conflict-driven search
Uses Software
This page was built for publication: Logic-based 0-1 constraint programming