Title of article

Unique Horn renaming and Unique 2-Satisfiability

Author/Authors

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

Issue Information

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

Pages

5

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