1
Wydane 2005
Spis treści: ... Sphere Cut Branch Decompositions -- An Algorithm for the SAT Problem for Formulae of Linear Length...
Dokumenty pełnotekstowe
Elektroniczne E-book