We present an interface between the ECLiPSe constraint logic programming system and the GAP computational abstract algebra system. the interface provides a method for efficiently dealing with large numbers of symmetri...
详细信息
Most work in constraint satisfaction has concentrated on computing a solution to a given problem. In practice, it often happens that an existing solution needs to be modified to satisfy additional criteria or changes ...
详细信息
We present trajectory determination of Autonomous Vehicles as an extension of the open-path asymmetric Traveling Salesman Problem with Time Windows. 9; Springer-Verlag Berlin Heidelberg 2002.
this paper reports on the macron (Modeling and Acquiring constraints Reusing Object Notation) project, which defines a modeling framework for CSPs compliant to available standards. 9; Springer-Verlag Berlin Heidel...
详细信息
Hybrid methods that combine constraintprogramming with mathematical programming make essential use of continuous relaxations for global constraints. We state a relaxation for the cumulative constraint. In particular ...
详细信息
Capturing constraint structure is critical in constraintprogramming to support the configuration and adaptation of domain filtering algorithms. To this end, we propose a software model couplinga relational constraint...
详细信息
Historically, discrete minimization problems in constrained logical programming were modeled withthe help of an isolated bounding constraint on the objective that is to be decreased. To overcome this frequently ineff...
详细信息
暂无评论