MUST: Minimal Unsatisfiable Subsets Enumeration Tool.

Jaroslav Bendík Ivana Cerná

Published in: TACAS (1) (2020)

Keyphrases

unsatisfiable cores
software tools
minimal subsets
real time
artificial intelligence
dynamic programming
databases
search space
orders of magnitude
user friendly
analysis tool
hidden structure