Login / Signup

Ultimate Automizer with Unsatisfiable Cores - (Competition Contribution).

Matthias HeizmannJürgen ChristDaniel DietschJochen HoenickeMarkus LindenmannBetim MusaChristian SchillingStefan WissertAndreas Podelski
Published in: TACAS (2014)
Keyphrases
  • unsatisfiable cores
  • max sat
  • hidden structure
  • search algorithm
  • special case
  • upper bound
  • boolean formula
  • boolean satisfiability
  • maximum satisfiability