Login / Signup

Minimizing Models for Tseitin-Encoded SAT Instances.

Markus IserCarsten SinzMana Taghdiri
Published in: SAT (2013)
Keyphrases
  • probabilistic model
  • search algorithm
  • sat instances
  • feature selection
  • bayesian networks
  • satisfiability problem