1523 search results - page 63 / 305 » Partially ordered secretaries |
167
Voted
ICTAI
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper, we study strategies in incremental planning for ordering and grouping subproblems partitioned by the subgoals of a planning problem when each subproblem is solved b...
162
click to vote
CSL
2010
Springer
15 years 6 months ago
2010
Springer
d Abstract) Thomas Schwentick and Thomas Zeume TU Dortmund University The finite satisfiability problem for two-variable logic over structures with unary relations and two order re...
103
click to vote
EOR
2007
15 years 5 months ago
2007
Within the economic order quantity (EOQ) framework, the main purpose of this paper is to investigate the retailerÕs optimal replenishment policy under permissible delay in paymen...
154
click to vote
DAC
2004
ACM
16 years 6 months ago
2004
ACM
Bounded Model Checking (BMC) relies on solving a sequence of highly correlated Boolean satisfiability (SAT) problems, each of which corresponds to the existence of counter-example...
150
click to vote
INFORMS
2010
15 years 2 months ago
2010
The quadratic linear ordering problem naturally generalizes various optimization problems, such as bipartite crossing minimization or the betweenness problem, which includes linear...