Philipp Bär

According to our database, Philipp Bär authored at least 2 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Technical Report with Proofs for A Full Picture in Conformance Checking: Efficiently Summarizing All Optimal Alignments.

Philipp Bär, Moe Thandar Wynn, Sander J. J. Leemans

CoRR, June, 2025

2023

Exploiting Strict Constraints in the Cylindrical Algebraic Covering.

Philipp Bär, Jasper Nalbach, Erika Ábrahám, Christopher W. Brown

Proceedings of the 21st International Workshop on Satisfiability Modulo Theories (SMT 2023) co-located with the 29th International Conference on Automated Deduction (CADE 2023), 2023