DMCA

Formalizing Dangerous SAT Encodings (2007)

Cached

Download Links

by Er Hertel , Alasdair Urquhart
Venue:In Theory and Applications of Satisfiability Testing SAT 2007
Citations:6 - 1 self