1002 search results - page 138 / 201 » Constraint Answer Set Solving |
CCE
2004
13 years 9 months ago
2004
Significant advances have been made in the last two decades for the effective solution of mixed integer non-linear programming (MINLP) problems, mainly by exploiting the special s...
COMCOM
2004
13 years 9 months ago
2004
The optimal multiple multicast problem (OMMP) on wavelength division multiplexing ring networks without wavelength conversion is considered in this paper. When the physical networ...
JAR
2000
13 years 9 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...
CORR
2008
Springer
13 years 9 months ago
2008
Springer
The Sybil attack in unknown port networks such as wireless is not considered tractable. A wireless node is not capable of independently differentiating the universe of real nodes f...
EOR
2008
13 years 9 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...