Approximation Hardness and Satisfiability of Bounded Occurence Instances of SAT

Cover
Inst. für Informatik, 2003 - 26 Seiten

Bibliografische Informationen