Synthetic Tableaux: Minimal Tableau Search Heuristics.

Michal Sochanski, Dorota Leszczynska-Jasion, Szymon Chlebowski, Agata Tomczyk, Marcin Jukiewicz

Browse the full CADE paper archive.