A new approach on solving 3-satisfiability

Robert Rodošek
Proc. 3rd Int. Conf. Artificial Intelligence and Symbolic Mathematical Computation (AISMC-3), Lecture Notes in Computer Science 1138, Jacques Calmet, John A. Campbell, and Jochen Pfalzgraf, ed., Springer-Verlag, 1996, pp. 197–212
http://www-icparc.doc.ic.ac.uk/papers/a_new_approach_on_solving_3-satisfiabili.ps

Cites:

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