The Inez Mathematical Programming Modulo Theories Framework
Abstract elided by the publisher.
Related papers
- Kleene algebra modulo theories: a framework for concrete KATs PLDI 2022
- Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays TACAS 2021
- Orax: A Feedback-Driven Framework for Efficiently Solving Satisfiability Modulo Theories and Oracles OOPSLA 2025
- ILP Modulo Theories CAV 2013
- Satisfiability and Synthesis Modulo Oracles VMCAI 2022
- Canonicity for 2-dimensional type theory POPL 2012
- Heterogeneous Dynamic Logic: Provability Modulo Program Theories PLDI 2026
- Symbolic Automata: Omega-Regularity Modulo Theories POPL 2025