MUST: Provide a Finer-Grained Explanation of Unsatisfiability.

Éric Grégoire Bertrand Mazure Cédric Piette

Published in: CP (2007)

Keyphrases

finer grained
learning algorithm
image sequences
feature space
viewpoint
image analysis