A linear-time transformation of linear inequalities into conjunctive normal form
- 30 October 1998
- journal article
- Published by Elsevier BV in Information Processing Letters
- Vol. 68 (2), 63-69
- https://doi.org/10.1016/s0020-0190(98)00144-6
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- A potential reduction approach to the frequency assignment problemDiscrete Applied Mathematics, 1997
- Logic-based methods for optimizationLecture Notes in Computer Science, 1994
- Compact normal forms in propositional logic and integer programming formulationsComputers & Operations Research, 1990
- Branch-and-cut solution of inference problems in propositional logicAnnals of Mathematics and Artificial Intelligence, 1990
- Generalized resolution and cutting planesAnnals of Operations Research, 1988
- Some results and experiments in programming techniques for propositional logicComputers & Operations Research, 1986