536 search results - page 81 / 108 » A Translational Approach to Constraint Answer Set Solving |
117
click to vote
IOR
2006
15 years 1 months ago
2006
In the dial-a-ride problem, users formulate requests for transportation from a specific origin to a specific destination. Transportation is carried out by vehicles providing a sha...
133
Voted
JAR
2000
15 years 1 months ago
2000
We present a formal specification and verification approach for industrial product data bases containing Boolean logic formulae to express constraints. Within this framework, globa...
96
Voted
EOR
2008
15 years 1 months ago
2008
The car sequencing problem consists in sequencing a given set of cars to be produced in a single day. We address one of the variants of this problem, in which the objective of mini...
147
click to vote
ICANN
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. This paper studies a risk minimization approach to estimate a transformation model from noisy observations. It is argued that transformation models are a natural candidat...
113
click to vote
CONSTRAINTS
2007
15 years 1 months ago
2007
In the ECAD area, the Test Generation (TG) problem consists in finding an input vector test for some possible diagnosis (a set of faults) of a digital circuit. Such tests may have ...