Login / Signup
Applying SAT Solving in Classification of Finite Algebras.
Andreas Meier
Volker Sorge
Published in:
J. Autom. Reason. (2005)
Keyphrases
</>
sat solving
np complete
boolean satisfiability