Skip to main content

4 Result(s)

within Chapter Remove this filter Conference Paper Remove this filter Dmitry Ushakov Remove this filter Artificial Intelligence Remove this filter

and

  1. No Access

    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. ...

    Vladimir Sidorov, Vitaly Telerman, Dmitry Ushakov in Perspectives of System Informatics (2000)

  2. No Access

    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...

    Igor Shvetsov, Vitaly Telerman… in Principles and Practice of Constraint Prog… (1997)

  3. No Access

    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...

    Vitaly Telerman, Vladimir Sidorov, Dmitry Ushakov in Perspectives of System Informatics (1996)

  4. No Access

    Chapter and Conference Paper

    Data types in subdefinite models

    We consider the mechanism of subdefinite models and the problem of representing data types in such models. A justification of the method of subdefinite models is given; various kinds of subdefinite extensions ...

    Vitaly Telerman, Dmitry Ushakov in Artificial Intelligence and Symbolic Mathe… (1996)