Logic-based 0-1 constraint programming

MaRDI QIDQ1906223zbMATH OpenFDO

Authors Peter Barth

Publication date 8 February 1996

Published in Operations Research/Computer Science Interfaces Series (Search for Journal in Brave)

zbMATH Keywords

constraint logic programming

Mathematics Subject Classification ID

Numerical mathematical programming methods (65K05) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 516985
• Modelling discrete optimisation problems in constraint logic programming
• On Boolean Functions Encodable as a Single Linear Pseudo-Boolean Constraint
• An introduction to constraint programming. Foundations, methods, languages and applications.
• scientific article; zbMATH DE number 1312992

Cited in

(6)

• Optimal base encodings for pseudo-Boolean constraints
• Modelling either-or relations in integer programming
• An enhanced rostering model for airline crews
• scientific article; zbMATH DE number 516985 (Why is no real title available?)
• Mixed logical-linear programming
• Learn to relax: integrating \(0-1\) integer linear programming with pseudo-Boolean conflict-driven search

Describes a project that uses

Uses Software

• OPBDP

This page was built for publication: Logic-based 0-1 constraint programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1906223)