Home
People
Teaching
Theses
Research
Highschool Activities
Press
Contact
MOVES
Browsing:
»
Home
»
News
»
Paper accepted
Paper accepted
Our paper
“SMT-RAT: An SMT-Compliant Non-Linear Real Arithmetic Toolbox
“
was accepted at
SAT’12
.
Tags:
2012
,
accepted
,
arithmetic
,
box
,
non-linear
,
paper
,
RAT
,
real
,
SAT
,
SMT
,
tool
Permalink
Post navigation
←
ROCKS Autumn School
Paper accepted
→