-
Chapter and Conference Paper
LGS: Geometric Constraint Solver
In the paper we present LGS — a geometric constraint solver developed at LEDAS Ltd. We review different approaches in geometric constraint solving, present our one, describe in details LGS architecture and the...
-
Chapter and Conference Paper
Hierarchical Constraint Satisfaction Based on Subdefinite Models
Hierarchical Constraint Satisfaction Problems (HCSPs) are at the centre of attention in the fields of computer aided design and user interfaces. Till recently, the algorithms proposed to solve the problems of ...
-
Chapter and Conference Paper
Constraint Programming Techniques for Solving Problems on Graphs
In this paper we examine a technology for solving problems on graphs in the constraint programming framework called Subdefinite Models. We describe in brief the mechanism of constraint propagation underlying it. ...
-
Chapter and Conference Paper
NeMo+: Object-oriented constraint programming environment based on subdefinite models
In this paper we examine a constraint programming environment NeMo+, which embraces a “C++ - based” technique. It includes a high-level object-oriented declarative language for specification of data types and con...
-
Chapter and Conference Paper
Problem solving in the object-oriented technological environment NeMo+
We study the mechanism of subdefinite models and the object-oriented technological environment NeMo+ for constructing solvers based on subdefinite models. The paper presents the main features of NeMo+ and shows i...