Login / Signup
Minimal Sets over Monotone Predicates in Boolean Formulae.
João Marques-Silva
Mikolás Janota
Anton 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