Login / Signup

Minimal Sets over Monotone Predicates in Boolean Formulae.

João Marques-SilvaMikolás JanotaAnton Belov
Published in: CAV (2013)
Keyphrases
  • boolean formulae
  • horn clauses
  • orders of magnitude
  • search algorithm
  • heuristic search
  • expressive power
  • normal form
  • pac learning
  • definite clause
  • conjunctive normal form