Counting Minimal Unsatisfiable Subsets.

Jaroslav Bendík Kuldeep S. Meel

Published in: CAV (2) (2021)

Keyphrases

unsatisfiable cores
minimal subsets
hidden structure
phase transition
machine learning
artificial intelligence
max sat
databases
sat solvers
image processing
computational complexity
xpath queries
information systems
boolean formula
information retrieval
data mining
database