Login / Signup

Optimizing MiniSAT Variable Orderings for the Relational Model Finder Kodkod - (Poster Presentation).

Markus IserMana TaghdiriCarsten Sinz
Published in: SAT (2012)
Keyphrases
  • poster presentation
  • invited talk
  • acceptance rate
  • sat solvers
  • program committee
  • orders of magnitude
  • sat solving
  • machine learning
  • e learning