-
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...
-
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 ...
-
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
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
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
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
An Investigation of Social-Behavioral Phenomena in the Peer-Review Processes of Scientific Foundations
A huge amount of the issues in the realm of scientific endeavor are decided by member of expert communities in various fields. Decisions that sanction the funding of project proposals are based on a voting pro...
-
Chapter and Conference Paper
Behavioral Model of Interaction Between Economic Agents and the Institutional Environment
This article creates and analyzes an agent-based simulation model that reflects the interaction between economic agents and the institutional environment surrounding them. Special attention is paid to changing...