The SATβUNSAT transition for random cons
β
Nadia Creignou; HervΓ© DaudΓ©
π
Article
π
2009
π
Elsevier Science
π
English
β 851 KB