-
Chapter and Conference Paper
Industrial Application of External Black-Box Functions in Constraint Programming Solver
We examine the problem of interaction between the interval constraint programming solver and external computation algorithms that are considered by the solver as Black Boxes. Some techniques are used in order ...
-
Chapter and Conference Paper
Using Constraint Solvers in CAD/CAM Systems
We discuss different possibilities of using the Constraint Programming Solvers (CPS) in CAD/CAM systems. The NeMo+ CPS, based on the approach of Subdefinite Models (SD-Models), and some its specializations are co...
-
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...