Login / Signup

Creating Industrial-Like SAT Instances by Clustering and Reconstruction - (Poster Presentation).

Sebastian BurgStephan KottlerMichael Kaufmann
Published in: SAT (2012)
Keyphrases
  • sat instances
  • sat solvers
  • satisfiability problem
  • sat problem
  • search space
  • randomly generated
  • computer science
  • expert systems
  • knowledge discovery
  • orders of magnitude
  • belief revision
  • stochastic local search