مرکز منطقه ای اطلاع رساني علوم و فناوري - A two-phase algorithm for solving a class of hard satisfiability problems

Title of article :

A two-phase algorithm for solving a class of hard satisfiability problems

Author/Authors :

oost P. Warners، نويسنده , , Hans van Maaren، نويسنده ,

Issue Information :

دوماهنامه با شماره پیاپی سال 1998

Pages :

From page :

To page :

Keywords :

Polynomial algorithm , Satis ability , Davis{Putnam algorithm

Journal title :

Operations Research Letters

Serial Year :

1998

Journal title :

Operations Research Letters

Record number :

137139

Link To Document :