Local Search For SMT on Linear Integer Arithmetic
Authors: Shaowei Cai, Bohan Li and Xindi Zhang
Paper Information
| Title: | Local Search For SMT on Linear Integer Arithmetic |
| Authors: | Shaowei Cai, Bohan Li and Xindi Zhang |
| Proceedings: | CAV 2022 All Papers |
| Editors: | Yakir Vizel, Sharon Shoham and Hari Govind Vediramana Krishnan |
| Keywords: | SMT, Local Search, Linear Integer Arithmetic, Integer Difference Logic |
| Pages: | 21 |
| Talk: | Aug 09 14:20 (Session 104A: Deductive Verification and Decision Procedures) |
| Paper: |  |