Mixed real-integer linear quantifier elimination
ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
Computer algebra handbook
Slicing, Chopping, and Path Conditions with Barriers
Software Quality Control
Efficient path conditions in dependence graphs for software safety analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
Variant real quantifier elimination: algorithm and application
Proceedings of the 2009 international symposium on Symbolic and algebraic computation
Automatic verification of the adequacy of models for families of geometric objects
ADG'08 Proceedings of the 7th international conference on Automated deduction in geometry
Quantifier elimination for constraint logic programming
CASC'05 Proceedings of the 8th international conference on Computer Algebra in Scientific Computing
New domains for applied quantifier elimination
CASC'06 Proceedings of the 9th international conference on Computer Algebra in Scientific Computing
Variant quantifier elimination
Journal of Symbolic Computation
| Hi-index | 0.00 |