Title of article

A constraint-based approach to narrow search trees for satisfiability

Author/Authors

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

Issue Information

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

Pages

5

From page

76

To page

80

Keywords

DP procedure , computational complexity , SAT , Automatic theorem proving

Journal title

Information Processing Letters

Serial Year

1999

Journal title

Information Processing Letters

Record number

159083