Login / Signup
Approximating minimal unsatisfiable subformulae by means of adaptive core search.
Renato Bruni
Published in:
Discret. Appl. Math. (2003)
Keyphrases
</>
unsatisfiable cores
search algorithm
search space
search strategies
search strategy
phase transition
search tools
search efficiency
orders of magnitude
user queries
search methods
np complete
metadata
information seeking
search procedure
exhaustive search
hidden structure
multimedia