Verifying MILP Certificates with SMT Solvers.
Runtian ZhouHaoze WuHammurabi MendesJonad PulajPublished in: CoRR (2023)
Keyphrases
- mixed integer linear
- modulo theories
- mathematical programming
- mixed integer linear programming
- linear program
- statistical machine translation
- satisfiability modulo theories
- access control
- public key
- answer set programming
- model checking
- resource constrained project scheduling problem
- linear programming
- sat solvers
- word alignment
- machine translation
- stable model semantics
- highly optimized