Login / Signup

Accelerated Deletion-based Extraction of Minimal Unsatisfiable Cores.

Alexander NadelVadim RyvchinOfer Strichman
Published in: J. Satisf. Boolean Model. Comput. (2014)
Keyphrases
  • unsatisfiable cores
  • hidden structure
  • max sat
  • boolean satisfiability
  • maximum satisfiability
  • search algorithm
  • lower bound
  • first order logic
  • boolean formula
  • reinforcement learning
  • simulated annealing
  • sat solvers