The Existence of Unsatisfiable Formulas in

Qingshun Zhang, Daoyun Xu

Browse the full TAMC paper archive.