The unreasonable effectiveness of alternation-based satisfiability algorithms

Tom Morrisette
Electronic Notes in Discrete Mathematics 9, 2001

Cites:

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