Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic
2009 ◽
pp. 294-305
◽
2016 ◽
Vol 129
◽
pp. 125-134
◽
1997 ◽
Vol 30
(18)
◽
pp. 857-862
◽
2018 ◽
Vol 610-611
◽
pp. 1038-1046
◽
Keyword(s):