1523 search results - page 63 / 305 » Partially ordered secretaries |
120
Voted
ICTAI
2005
IEEE
15 years 6 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...
108
click to vote
CSL
2010
Springer
15 years 1 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...
68
Voted
EOR
2007
15 years 17 days 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...
115
Voted
DAC
2004
ACM
16 years 1 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...
108
Voted
INFORMS
2010
14 years 10 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...