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
Link To Document