13376 search results - page 154 / 2676 » Problem Solving with |
163
click to vote
DATE
1999
IEEE
15 years 7 months ago
1999
IEEE
Boolean Satisfiability is a ubiquitous modeling tool in Electronic Design Automation, It finds application in test pattern generation, delay-fault testing, combinational equivalen...
134
click to vote
CSCLP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We adopt Benders’ decomposition algorithm to solve scenariobased Stochastic Constraint Programs (SCPs) with linear recourse. Rather than attempting to solve SCPs via a ...
123
click to vote
CAEPIA
2003
Springer
15 years 8 months ago
2003
Springer
We present a tool for solving and plotting train schedules which has been developed in collaboration with the National Network of Spanish Railways (RENFE). This tool transforms rai...
128
click to vote
DARS
2000
Springer
15 years 7 months ago
2000
Springer
This paper discusses the use of cooperation and distributed intelligence within a robot team to solve a maze problem in which a set of ordered control point tasks has to be perform...
109
click to vote
IJAR
2006
15 years 3 months ago
2006
Although influence diagrams are powerful tools for representing and solving complex decisionmaking problems, their evaluation may require an enormous computational effort and this...