Michal Sochanski

According to our database, Michal Sochanski authored at least 4 papers between 2018 and 2022.

Collaborative distances:

• Dijkstra number of seven.
• Erdős number of six.

2022

Representing Formulas of Propositional Logic by Cographs, Permutations and Tables.

Michal Sochanski

Proceedings of the Diagrammatic Representation and Inference, 2022

Synthetic Tableaux: Minimal Tableau Search Heuristics.

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

Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

2020

Experimenting with Diagrams in Mathematics.

Michal Sochanski

Proceedings of the Diagrammatic Representation and Inference, 2020

2018

Interpreting Diagrammatic Reasoning - Between Empiricism and Realism.

Michal Sochanski

Proceedings of the Diagrammatic Representation and Inference, 2018