Login / Signup

Patrick Maier

ORCID

Publication Activity (10 Years)

Years Active: 2001-2022
Publications (10 Years): 11

Top Topics

Computer Algebra
Combinatorial Search
Automated Theorem Provers
Branch And Bound

Top Venues

Euro-Par
Artif. Intell. Medicine
CoRR
Comput. Lang. Syst. Struct.

Saarland University, Saarbrücken, Germany (PHD)

Education History
Saarland University, Saarbrücken, Germany

PHD

Publications