Minimal unsatisfiable core extraction for SMT.
Ofer GuthmannOfer StrichmanAnna TrostanetskiPublished in: FMCAD (2016)
Keyphrases
- unsatisfiable cores
- hidden structure
- max sat
- information extraction
- boolean satisfiability
- automatic extraction
- statistical machine translation
- sat solvers
- knowledge extraction
- automatically extracted
- information systems
- orders of magnitude
- cellular automata
- satisfiability problem
- boolean formula
- maximum satisfiability