مرکز منطقه ای اطلاع رساني علوم و فناوري - On finding solutions for extended Horn formulas

Title of article :

On finding solutions for extended Horn formulas

Author/Authors :

John S. Schlipf، نويسنده , , Fred S. Annexstein، نويسنده , , John V. Franco، نويسنده , , R. P. Swaminathan، نويسنده ,

Issue Information :

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

Pages :

From page :

133

To page :

137

Keywords :

Extended Hom formulas , Unit resolution , Algorithms , Balanced matrices , Satisfiability

Journal title :

Information Processing Letters

Serial Year :

1995

Journal title :

Information Processing Letters

Record number :

128251

Link To Document :