Login / Signup

MUST: Minimal Unsatisfiable Subsets Enumeration Tool.

Jaroslav BendíkIvana 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