An Efficient Subsumption Test Pipeline for BS(LRA) Clauses
Authors: Martin Bromberger, Lorenz Leutgeb and Christoph Weidenbach
Paper Information
| Title: | An Efficient Subsumption Test Pipeline for BS(LRA) Clauses |
| Authors: | Martin Bromberger, Lorenz Leutgeb and Christoph Weidenbach |
| Proceedings: | IJCAR 2022 Proceedings of IJCAR 2022 |
| Editors: | Laura Kovacs, Jasmin Blanchette and Dirk Pattinson |
| Keywords: | Bernays–Schönfinkel Fragment, Linear Arithmetic, Redundancy Elimination, Subsumption |
| Pages: | 23 |
| Talk: | Aug 08 12:00 (Session 96D: Effective Superposition and Orderings) |
| Paper: |  |