Martin Dietzfelbinger;Wolfgang Maass
Univ. of Illinois, Chicago;Univ. of Illinois, Chicago
Lower bounds for linear satisfiability problems
Proceedings of the sixth annual ACM-SIAM symposium on Discrete algorithms