Home
People
Teaching
Theses
Research
Highschool Activities
Press
Contact
MOVES
Browsing:
»
Home
»
Archives
Tag Archive | RAT
Paper accepted
By
Marco Weber
April 14, 2012
Our paper “SMT-RAT: An SMT-Compliant Non-Linear Real Arithmetic Toolbox“ was accepted at SAT’12.
Post navigation