Algorithms for quantified Boolean formulas

Ryan Williams
Proc. 13th Symp. Discrete Algorithms, ACM and SIAM, Jan 2002, pp. 299–307
http://portal.acm.org/citation.cfm?id=545421

Cites:

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