Some notes on logical expression in the 0-1 integer programming model

DOI10.3969/J.ISSN.1007-0834.2014.04.002MaRDI QIDQ3196003zbMATH OpenFDO

Authors Xiao-Yong Zhang, Lixin Jia

Publication date 28 October 2015

Full work available at URL https://doi.org/10.3969/J.ISSN.1007-0834.2014.04.002

zbMATH Keywords

truth table0-1 integer programmingtwo-valued variable

Mathematics Subject Classification ID

Integer programming (90C10)

Recommendations

• Modelling either-or relations in integer programming
• Logic and integer programming
• Modeling and integer programming techniques applied to propositional calculus
• Logic applied to integer programming and integer programming applied to logic
• Constructing integer programming models by the predicate calculus

Cited in

(5)

• An analysis of six greedy selection rules on a class of zero-one integer programming models
• Modelling either-or relations in integer programming
• A linear and discrete programming framework for representing qualitative knowledge
• Formulating logical implications in combinatorial optimisation
• Constructing integer programming models by the predicate calculus

This page was built for publication: Some notes on logical expression in the 0-1 integer programming model

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