Login / Signup

Applying SAT Solving in Classification of Finite Algebras.

Andreas MeierVolker Sorge
Published in: J. Autom. Reason. (2005)
Keyphrases
  • sat solving
  • np complete
  • boolean satisfiability