Title of article :
Equivalency reasoning to solve a class of hard SAT problems
Author/Authors :
Chu Min Li، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 2000
Keywords :
Davis–Putnam procedure , computational complexity , Automatic theorem proving , SAT
Journal title :
Information Processing Letters
Journal title :
Information Processing Letters
