FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
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: