مرکز منطقه ای اطلاع رساني علوم و فناوري - Unique Horn renaming and Unique 2-Satisfiability

Title of article :

Unique Horn renaming and Unique 2-Satisfiability

Author/Authors :

Jean-Jacques Hébrard، نويسنده ,

Issue Information :

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

Pages :

From page :

235

To page :

239

Keywords :

Algorithms , Horn sets , Satisfiability , Renaming

Journal title :

Information Processing Letters

Serial Year :

1995

Journal title :

Information Processing Letters

Record number :

128265

Link To Document :