مرکز منطقه ای اطلاع رساني علوم و فناوري - A constraint-based approach to narrow search trees for satisfiability

Title of article :

A constraint-based approach to narrow search trees for satisfiability

Author/Authors :

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

Issue Information :

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

Pages :

From page :

To page :

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

Link To Document :