Approximate Counting of Minimal Unsatisfiable Subsets.

Jaroslav Bendík Kuldeep S. Meel

Published in: CAV (1) (2020)

Keyphrases

unsatisfiable cores
minimal subsets
hidden structure
phase transition
exact solution
neural network
real world
information retrieval
computer vision
information systems
e learning
website
data model
max sat