Minimal sets on propositional formulae. Problems and reductions.

João Marques-Silva Mikolás Janota Carlos Mencía

Published in: Artif. Intell. (2017)

Keyphrases

problems involving
propositional logic
solving problems
decision trees
np complete
machine learning
optimization problems
horn clauses