Michal Sochanski

Publication Activity (10 Years)

Years Active: 2018-2022
Publications (10 Years): 4

Top Topics

Propositional Logic

Proof Procedure

Top Venues

Publications

Michal Sochanski, Dorota Leszczynska-Jasion, Szymon Chlebowski, Agata Tomczyk, Marcin Jukiewicz
Synthetic Tableaux: Minimal Tableau Search Heuristics. IJCAR (2022)
Michal Sochanski
Representing Formulas of Propositional Logic by Cographs, Permutations and Tables. Diagrams (2022)
Michal Sochanski
Experimenting with Diagrams in Mathematics. Diagrams (2020)
Michal Sochanski
Interpreting Diagrammatic Reasoning - Between Empiricism and Realism. Diagrams (2018)