Mor-ENDM-01

@article{Mor-ENDM-01,
title = {The unreasonable effectiveness of alternation-based satisfiability algorithms},
author = {Tom Morrisette},
journal = {Electronic Notes in Discrete Mathematics},
publisher = {Elsevier},
volume = {9},
year = {2001}}

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