Wil-SODA-02

@inproceedings{Wil-SODA-02,
title = {Algorithms for quantified Boolean formulas},
author = {Ryan Williams},
booktitle = {Proc. 13th Symp. Discrete Algorithms},
publisher = {ACM and SIAM},
pages = {299--307},
month = {Jan},
year = {2002},
url = {http://portal.acm.org/citation.cfm?id=545421}}

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