Validating SMT solvers via semantic fusion.
Dominik WintererChengyu ZhangZhendong SuPublished in: PLDI (2020)
Keyphrases
- modulo theories
- data fusion
- co occurrence
- semantic network
- information fusion
- semantic analysis
- semantic knowledge
- fusion method
- natural language
- multi sensor
- semantic information
- sat solvers
- satisfiability problem
- semantic features
- semantic relationships
- semantic search
- orders of magnitude
- semantic representation
- sat instances
- semantic roles
- quantified boolean formulas
- eigenvalue problems
- knowledge representation