On exact selection of minimally unsatisfiable subformulae.

Published in: Ann. Math. Artif. Intell. (2005)

Keyphrases

artificial intelligence
decision making
phase transition
database
databases
information retrieval
image processing
web services
image sequences
selection strategy
fine tuning