New upper bounds for maximum satisfiability

Rolf Niedermeier and Peter Rossmanith
J. Algorithms 36(1):63–88, Jul 2000

Cites:

Fano Experimental Web Server, D. Eppstein, School of Information & Computer Science, UC Irvine
Made on a Mac Valid XHTML 1.0!