Title of article :
Exploiting partial knowledge of satisfying assignments Original Research Article
Author/Authors :
Kazuo Iwama، نويسنده , , Suguru Tamaki، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2007
Keywords :
CNF satisfiability , Probabilistic algorithm , NP-complete problem
Journal title :
Discrete Applied Mathematics
Journal title :
Discrete Applied Mathematics