Computing Minimal Sets on Propositional Formulae I: Problems & Reductions.

João Marques-Silva Mikolás Janota

Published in: CoRR (2014)

Keyphrases

problems involving
data sets
search algorithm
propositional logic
machine learning
knowledge base
reinforcement learning
sat solvers
efficient computation
solving problems
propositional formulas
minimal subsets