مرکز منطقه ای اطلاع رساني علوم و فناوري - New Upper Bounds for Maximum Satisfiability

Title of article :

New Upper Bounds for Maximum Satisfiability

Author/Authors :

Rolf Niedermeier، نويسنده , , Peter Rossmanith، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 2000

Pages :

From page :

To page :

Keywords :

Maximum satisfiability , Exact algorithms , parameterized complexity , NP-complete problems

Journal title :

Journal of Algorithms

Serial Year :

2000

Journal title :

Journal of Algorithms

Record number :

291402

Link To Document :