536 search results - page 26 / 108 » A Translational Approach to Constraint Answer Set Solving |
109
click to vote
CP
2008
Springer
15 years 3 months ago
2008
Springer
The Constraint Satisfaction Problem (CSP) framework allows users to define problems in a declarative way, quite independently from the solving process. However, when the problem i...
129
click to vote
JIIS
2006
15 years 1 months ago
2006
Abstract In recent years, researchers have begun to study inductive databases, a new generation of databases for leveraging decision support applications. In this context, the user...
131
click to vote
BIRTHDAY
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. In this work we introduce counterexample guided path reduction based on interval constraint solving for static program analysis. The aim of this technique is to reduce th...
156
click to vote
COR
2008
15 years 1 months ago
2008
In this paper we discuss models and methods for solving the rooted distance constrained minimum spanning tree problem which is defined as follows: given a graph G = (V, E) with no...
117
click to vote
ATMOS
2007
15 years 3 months ago
2007
We face a real-world train unit assignment problem for an operator running trains in a regional area. Given a set of timetabled train trips, each with a required number of passenge...