TY  - RPRT
TI  - DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories
AU  - Nick Feng
AU  - Alan J. Hu
AU  - Sam Bayless
AU  - Syed M. Iqbal
AU  - Patrick Trentin
AU  - Mike Whalen
AU  - Lee Pike
AU  - John Backes
PY  - 2024
UR  - https://arxiv.org/abs/2401.10703
ID  - 2401.10703
ER  -