Author Info
Name
Affiliation
Papers
GEREON KREMER
Rhein Westfal TH Aachen, Aachen, Germany
5
Collaborators
Citations 
PageRank 
18
3
1.76
Referers 
Referees 
References 
9
114
36
Search Limit
100114
Title
Citations
PageRank
Year
cvc5: A Versatile and Industrial-Strength SMT Solver00.342022
Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings00.342021
Fully incremental cylindrical algebraic decomposition00.342020
SMT Solving for Arithmetic Theories: Theory and Tool Support00.342017
Satisfiability Checking: Theory and Applications.30.412016