SMT Solving for Arithmetic Theories: Theory and Tool Support.
Erika ÁbrahámGereon KremerPublished in: SYNASC (2017)
Keyphrases
- tool support
- modulo theories
- theoretical framework
- software development
- cognitive psychology
- theoretical models
- general theory
- design theory
- formal models
- software projects
- domain theory
- machine translation
- expert systems
- imprecise probabilities
- satisfiability modulo theories
- trade off
- software engineering
- causal reasoning
- statistical machine translation
- learning theories
- multi agent systems
- probability theory
- decision theory