SCL(EQ): SCL for First-Order Logic with Equality
Authors: Hendrik Leidinger and Christoph Weidenbach
Paper Information
| Title: | SCL(EQ): SCL for First-Order Logic with Equality |
| Authors: | Hendrik Leidinger and Christoph Weidenbach |
| Proceedings: | IJCAR 2022 Proceedings of IJCAR 2022 |
| Editors: | Laura Kovacs, Jasmin Blanchette and Dirk Pattinson |
| Keywords: | first-order logic with equality, clause learning from simple models, sound and complete calculus |
| Pages: | 20 |
| Talk: | Aug 08 11:00 (Session 96D: Effective Superposition and Orderings) |
| Paper: |  |