Proc. 3rd Int. Conf. Artificial Intelligence and Symbolic Mathematical Computation (AISMC-3)
A new approach on solving 3-satisfiability, Rod-AISMC-96
[
D. Eppstein publications
] [
Citation database
] [
Locations
]
Fano
Experimental Web Server,
D. Eppstein
,
School of Information & Computer Science
,
UC Irvine
