NieRos-Algs-00

@article{NieRos-Algs-00,
title = {New upper bounds for maximum satisfiability},
author = {Rolf Niedermeier and Peter Rossmanith},
journal = {J. Algorithms},
volume = {36},
number = {1},
pages = {63--88},
month = {Jul},
year = {2000}}

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