Even Faster Conflicts and Lazier Reductions for String Solvers
Authors: Andres Noetzli, Andrew Reynolds, Haniel Barbosa, Clark Barrett and Cesare Tinelli
Paper Information
| Title: | Even Faster Conflicts and Lazier Reductions for String Solvers |
| Authors: | Andres Noetzli, Andrew Reynolds, Haniel Barbosa, Clark Barrett and Cesare Tinelli |
| Proceedings: | CAV 2022 All Papers |
| Editors: | Yakir Vizel, Sharon Shoham and Hari Govind Vediramana Krishnan |
| Keywords: | Satisfiability Modulo Theories, Strings, Reductions |
| Pages: | 21 |
| Talk: | Aug 09 14:00 (Session 104A: Deductive Verification and Decision Procedures) |
| Paper: |  |