2543 search results - page 119 / 509 » Optimal Ordered Problem Solver |
122
click to vote
NHM
2010
14 years 9 months ago
2010
We introduce the coolest path problem, which is a mixture of two well-known problems from distinct mathematical fields. One of them is the shortest path problem from combinatorial ...
112
click to vote
MOR
2008
15 years 3 months ago
2008
We consider a singular stochastic control problem, which is called the Monotone Follower Stochastic Control Problem and give sufficient conditions for the existence and uniqueness...
111
click to vote
ESA
2008
Springer
15 years 4 months ago
2008
Springer
This paper re-examines the classical problem of minimizing maximum lateness which is defined as follows: given a collection of n jobs with processing times and due dates, in what o...
135
click to vote
CPAIOR
2010
Springer
15 years 1 months ago
2010
Springer
Many search problems contain large amounts of redundancy in the search. In this paper we examine how to automatically exploit remaining subproblem equivalence, which arises when tw...
121
click to vote
ICCAD
2006
IEEE
15 years 12 months ago
2006
IEEE
The paper explores several ways to improve the speed and capacity of combinational equivalence checking based on Boolean satisfiability (SAT). State-of-the-art methods use simulat...