![]() |
| 2007 | ||
|---|---|---|
| 2 | EE | Rafael Grimson: A lower bound for the complexity of linear optimization from a quantifier-elimination point of view. Constraint Databases, Geometric Elimination and Geographic Information Systems 2007 |
| 1 | EE | Bart Kuijpers, Walied Othman, Rafael Grimson: A case study of the difficulty of quantifier elimination in constraint databases: the alibi query in moving object databases CoRR abs/0712.1996: (2007) |
| 1 | Bart Kuijpers | [1] |
| 2 | Walied Othman | [1] |