Methods for 3-SAT-decision in less than 2 0:59\Deltan steps. The Bulletin of Symbolic Logic (1995)

by Oliver Kullmann
Venue:Abstracts of contributed papers of the Logic Colloquium' 93