Deciding consistency of systems of exponential-polynomial inequalities in subexponential time
1991 ◽
Vol 55
(2)
◽
pp. 1519-1540
◽
1988 ◽
Vol 5
(1-2)
◽
pp. 37-64
◽
2020 ◽
Vol 178
(1-2)
◽
pp. 235-287
Keyword(s):
2013 ◽
Vol 51
(2)
◽
pp. 864-893
◽
2018 ◽
Vol 136
◽
pp. 254-271
◽
1972 ◽
Vol 10
(1)
◽
pp. 125-127
◽
2011 ◽
Vol 236
(4)
◽
pp. 543-556
◽