Title of article

Equivalency reasoning to solve a class of hard SAT problems

Author/Authors

Chu Min Li، نويسنده ,

Issue Information

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

Pages

6

From page

76

To page

81

Keywords

Davis–Putnam procedure , computational complexity , Automatic theorem proving , SAT

Journal title

Information Processing Letters

Serial Year

2000

Journal title

Information Processing Letters

Record number

159091