Philipp Bär

According to our database, Philipp Bär authored at least 1 paper in 2023.

Collaborative distances:

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

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