Philipp Bär

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 2

Top Topics

Description Logics

Multiple Constraints

Constraint Satisfaction

Bayesian Networks

Top Venues

Publications

Philipp Bär, Jasper Nalbach, Erika Ábrahám, Christopher W. Brown
Exploiting Strict Constraints in the Cylindrical Algebraic Covering. SMT (2023)
Philipp Bär, Jasper Nalbach, Erika Ábrahám, Christopher W. Brown
Exploiting Strict Constraints in the Cylindrical Algebraic Covering. CoRR (2023)