Synthetic Tableaux: Minimal Tableau Search Heuristics
Authors: Michał Sochański, Dorota Leszczyńska-Jasion, Szymon Chlebowski, Agata Tomczyk and Marcin Jukiewicz
Paper Information
| Title: | Synthetic Tableaux: Minimal Tableau Search Heuristics |
| Authors: | Michał Sochański, Dorota Leszczyńska-Jasion, Szymon Chlebowski, Agata Tomczyk and Marcin Jukiewicz |
| Proceedings: | IJCAR 2022 Proceedings of IJCAR 2022 |
| Editors: | Laura Kovacs, Jasmin Blanchette and Dirk Pattinson |
| Keywords: | Synthetic tableau, Minimal tableau, Data analysis, Proof-search heuristics, Haskell, Pigeonhole principle |
| Pages: | 19 |
| Talk: | Aug 09 09:50 (Session 100D: Choices, Substitutions and Formalizations) |
| Paper: |  |