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

Information Processing Letters - Netherlands
doi 10.1016/s0020-0190(98)00144-6
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Elsevier BV