@ARTICLE{Ratschan2005a,
AUTHOR = {Ratschan, Stefan},
TITLE = {Efficient Solving of Quantified Inequality Constraints over the Real Numbers},
JOURNAL = {ACM Transactions on Computational Logic},
PUBLISHER = {ACM},
YEAR = {2006},
NUMBER = {4},
VOLUME = {7},
PAGES = {723--748},
}
Entry last modified by Uwe Brahm, 01/28/2008
Edit History (please click the blue arrow to see the details)
| Editor(s)
Stefan Ratschan | Created
02/15/2005 04:39:33 PM |
Revisions
6.
5.
4.
3.
2. | Editor(s)
Uwe Brahm
Uwe Brahm
Christine Kiesel
Stefan Ratschan
Stefan Ratschan | Edit Dates
2007-05-02 11:16:49
2007-04-26 09:50:48
16.02.2007 23:11:05
03/07/2006 01:45:12 PM
04/14/2005 03:25:11 AM |