The complexity of minimal satisfiability
β
Lefteris M. Kirousis; Phokion G. Kolaitis
π
Article
π
2003
π
Elsevier Science
π
English
β 214 KB