مرکز منطقه ای اطلاع رساني علوم و فناوري - An algorithm for Exact Satisfiability analysed with the number of clauses as parameter

Title of article :

An algorithm for Exact Satisfiability analysed with the number of clauses as parameter

Author/Authors :

Bolette Ammitzb?ll Madsen، نويسنده ,

Issue Information :

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

Pages :

From page :

To page :

Keywords :

analysis of algorithms , Exact satisfiability

Journal title :

Information Processing Letters

Serial Year :

2006

Journal title :

Information Processing Letters

Record number :

130178

Link To Document :