Computational geometry: an introduction
Computational geometry: an introduction
Moving a polygon around the corner in a corridor
SCG '86 Proceedings of the second annual symposium on Computational geometry
Mechanical geometry theorem proving
Mechanical geometry theorem proving
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Constraint satisfaction in logic programming
Constraint satisfaction in logic programming
Transcendental functions and mechanical theorem proving in elementary geometries
Journal of Automated Reasoning
“One sugar cube, please” or selection strategies in the Buchberger algorithm
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
Combining symbolic constraint solvers on algebraic domains
Journal of Symbolic Computation
ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
Simplification by Cooperating Decision Procedures
ACM Transactions on Programming Languages and Systems (TOPLAS)
Robot Motion Planning
Contraint Logic Programming - An Informal Introduction
LPSS '92 Proceedings of the Second International Logic Programming Summer School on Logic Programming in Action
Hauptvortrag: Quantifier elimination for real closed fields by cylindrical algebraic decomposition
Proceedings of the 2nd GI Conference on Automata Theory and Formal Languages
Non-linear Real Constraints in Constraint Logic Programming
Proceedings of the Third International Conference on Algebraic and Logic Programming
Gröbner Bases: Strategies and Applications
AISMC-1 Proceedings of the International Conference on Artificial Intelligence and Symbolic Mathematical Computation
QUAD-CLP(R): Adding the Power of Quadratic Constraints
PPCP '94 Proceedings of the Second International Workshop on Principles and Practice of Constraint Programming
An Architecture for Cooperating Constraint Solvers on Reals
Selected Papers from Constraint Programming: Basics and Trends
Coordination of heterogeneous distributed cooperative constraint solving
ACM SIGAPP Applied Computing Review - Special issue on coodination languages and models
Using coordination for cooperative constraint solving
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
Symbolic-interval cooperation in constraint programming
Proceedings of the 2001 international symposium on Symbolic and algebraic computation
A Control Language for Designing Constraint Solvers
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
A Graphical Interface for Solver Cooperations
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Basic Operators for Solving Constraints via Collaboration of Solvers
AISC '00 Revised Papers from the International Conference on Artificial Intelligence and Symbolic Computation
An Open Automated Framework for Constraint Solver Extension: the SoleX Approach
Fundamenta Informaticae
Hi-index | 0.00 |