Rod-AISMC-96

@inproceedings{Rod-AISMC-96,
title = {A new approach on solving 3-satisfiability},
author = {Robert Rodo{\v{s}}ek},
booktitle = {Proc. 3rd Int. Conf. Artificial Intelligence and Symbolic Mathematical Computation (AISMC-3)},
number = {1138},
editor = {Jacques Calmet and John A. Campbell and Jochen Pfalzgraf},
series = {Lecture Notes in Computer Science},
publisher = {Springer-Verlag},
pages = {197--212},
year = {1996},
url = {http://www-icparc.doc.ic.ac.uk/papers/a_new_approach_on_solving_3-satisfiabili.ps}}

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