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
Highly Influential
This paper has highly influenced a number of papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 147 citations. REVIEW CITATIONS

Topics

Statistics

01020'01'03'05'07'09'11'13'15'17
Citations per Year

148 Citations

Semantic Scholar estimates that this publication has 148 citations based on the available data.

See our FAQ for additional information.