SMT Theory Arbitrage: Approximating Unbounded Constraints using Bounded Theories.
Benjamin MikekQirun ZhangPublished in: Proc. ACM Program. Lang. (2024)
Keyphrases
- modulo theories
- theoretical framework
- general theory
- cognitive psychology
- causal reasoning
- design theory
- domain theory
- probability theory
- constraint satisfaction
- constraint programming
- decision theory
- formal models
- satisfiability modulo theories
- equational theories
- mathematical models
- theory revision
- portfolio management
- decision making