A Linear-Time Transformation of Linear Inequalities into Conjunctive Normal Form

@article{Warners1998ALT,
title={A Linear-Time Transformation of Linear Inequalities into Conjunctive Normal Form},
author={Joost P. Warners},
journal={Inf. Process. Lett.},
year={1998},
volume={68},
pages={63-69}
}

REPORTRAPPORT A linear-time transformation of linear inequalities into conjunctive normal form Abstract We present a technique that transforms any binary programming problem with integral coeecients to a satissability problem of propositional logic in linear time. Preliminary computational experience using this transformation, shows that a pure logical solver can be a valuable tool for solving binary programming problems. In a number of cases it competes favourably with well known techniquesâ€¦Â CONTINUE READING