536 search results - page 22 / 108 » A Translational Approach to Constraint Answer Set Solving |
138
click to vote
CONSTRAINTS
2006
15 years 1 months ago
2006
Abstract. Constraint Programming (CP) offers a rich modeling language of constraints embedding efficient algorithms to handle complex and heterogeneous combinatorial problems. To s...
132
Voted
ENDM
2010
15 years 1 months ago
2010
A Content Distribution Network (CDN) is an overlay network where servers replicate contents and distribute client's requests with the aim at reducing delay, server load and n...
115
Voted
LPNMR
2001
Springer
15 years 6 months ago
2001
Springer
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. As the model of asynchronous syst...
115
click to vote
CONSTRAINTS
2011
14 years 9 months ago
2011
The Steel Mill Slab Problem is an optimization benchmark that has been studied for a long time in the constraint-programming community but was only solved efficiently in the two l...
104
click to vote
EUSFLAT
2007
15 years 3 months ago
2007
The paper is devoted to fault diagnosis problems using fuzzy decision making. We investigate dynamic diagnostic systems which can be represented by symptom-fault rule bases. The m...