مرکز منطقه ای اطلاع رساني علوم و فناوري - A linear-time transformation of linear inequalities into conjunctive normal form

Title of article :

A linear-time transformation of linear inequalities into conjunctive normal form

Author/Authors :

Joost P. Warners، نويسنده ,

Issue Information :

دوهفته نامه با شماره پیاپی سال 1998

Pages :

From page :

To page :

Keywords :

combinatorial optimization , satisfiability , Automatic theorem proving

Journal title :

Information Processing Letters

Serial Year :

1998

Journal title :

Information Processing Letters

Record number :

128967

Link To Document :