-
1
-
-
2342571343
-
Project Scheduling in AND/OR Graphs: A Generalization of Dijkstra's Algorithm
-
Department of Computer Science, Holon Academic Institute of Technology, Holon, Israel
-
G. M. ADELSON-VELSKY AND E. LEVNER, Project Scheduling in AND/OR Graphs: A Generalization of Dijkstra's Algorithm, Technical report, Department of Computer Science, Holon Academic Institute of Technology, Holon, Israel, 1999.
-
(1999)
Technical Report
-
-
Adelson-Velsky, G.M.1
Levner, E.2
-
2
-
-
0036672665
-
Project scheduling in AND/OR graphs: A generalization of Dijkstra's algorithm
-
G. M. ADELSON-VELSKY AND E. LEVNER, Project scheduling in AND/OR graphs: A generalization of Dijkstra's algorithm, Math. Oper. Res., 27 (2002), pp. 504-517.
-
(2002)
Math. Oper. Res.
, vol.27
, pp. 504-517
-
-
Adelson-Velsky, G.M.1
Levner, E.2
-
3
-
-
0020831559
-
Graph algorithms for functional dependency manipulation
-
G. AUSIELLO, A. D'ATRI, AND D. SACCÀ, Graph algorithms for functional dependency manipulation, J. ACM, 30 (1983), pp. 752-766.
-
(1983)
J. ACM
, vol.30
, pp. 752-766
-
-
Ausiello, G.1
D'Atri, A.2
Saccà, D.3
-
4
-
-
0022715960
-
Minimal representation of directed hypergraphs
-
G. AUSIELLO, A. D'ATRI, AND D. SACCÀ, Minimal representation of directed hypergraphs, SIAM J. Comput., 15 (1986), pp. 418-431.
-
(1986)
SIAM J. Comput.
, vol.15
, pp. 418-431
-
-
Ausiello, G.1
D'Atri, A.2
Saccà, D.3
-
5
-
-
2342464607
-
The PERT-Problem with Alternatives: Modelisation and Optimisation
-
Institut National de Recherche en Informatique et en Automatique (INRIA), France
-
F. CHAUVET AND J.-M. PROTH, The PERT-Problem with Alternatives: Modelisation and Optimisation, Technical report, Institut National de Recherche en Informatique et en Automatique (INRIA), France, 1999.
-
(1999)
Technical Report
-
-
Chauvet, F.1
Proth, J.-M.2
-
6
-
-
0002284147
-
The fastest algorithm for the PERT problem with AND- and OR-nodes (the newproduct-new technology problem)
-
R. Kannan and W. R. Pulleyblank, eds., University of Waterloo Press, Waterloo, Canada
-
E. A. DINIC, The fastest algorithm for the PERT problem with AND- and OR-nodes (the newproduct-new technology problem), in Proceedings of the International Conference on Integer Programming and Combinatorial Optimization, R. Kannan and W. R. Pulleyblank, eds., University of Waterloo Press, Waterloo, Canada, 1990, pp. 185-187.
-
(1990)
Proceedings of the International Conference on Integer Programming and Combinatorial Optimization
, pp. 185-187
-
-
Dinic, E.A.1
-
7
-
-
0021509216
-
Linear-time algorithms for testing satisfiability of prepositional Horn formulae
-
W. F. DOWLING AND J. H. GALLIER, Linear-time algorithms for testing satisfiability of prepositional Horn formulae, J. Logic Program., 1 (1984), pp. 267-284.
-
(1984)
J. Logic Program.
, vol.1
, pp. 267-284
-
-
Dowling, W.F.1
Gallier, J.H.2
-
9
-
-
0039993716
-
Max Horn SAT and the minimum cut problem in directed hypergraphs
-
G. GALLO, C. GENTILE, D. PRETOLANI, AND G. RAGO, Max Horn SAT and the minimum cut problem in directed hypergraphs, Math. Programming, 80 (1998), pp. 213-237.
-
(1998)
Math. Programming
, vol.80
, pp. 213-237
-
-
Gallo, G.1
Gentile, C.2
Pretolani, D.3
Rago, G.4
-
10
-
-
36249023494
-
Directed hypergraphs and applications
-
G. GALLO, G. LONGO, S. PALLOTTINO, AND S. NGUYEN, Directed hypergraphs and applications, Discrete Appl. Math., 42 (1993), pp. 177-201.
-
(1993)
Discrete Appl. Math.
, vol.42
, pp. 177-201
-
-
Gallo, G.1
Longo, G.2
Pallottino, S.3
Nguyen, S.4
-
11
-
-
0346789564
-
-
Ph.D. thesis, Department of Computer Science, University of Illinois at Urbana-Champaign, Urbana, IL
-
D. W. GILLIES, Algorithms to Schedule Tasks with AND/OR Precedence Constraints, Ph.D. thesis, Department of Computer Science, University of Illinois at Urbana-Champaign, Urbana, IL, 1993.
-
(1993)
Algorithms to Schedule Tasks with AND/OR Precedence Constraints
-
-
Gillies, D.W.1
-
12
-
-
0000047976
-
Scheduling tasks with AND/OR precedence constraints
-
D. W. GILLIES AND J. W.-S. LIU, Scheduling tasks with AND/OR precedence constraints, SIAM J. Comput., 24 (1995), pp. 797-810.
-
(1995)
SIAM J. Comput.
, vol.24
, pp. 797-810
-
-
Gillies, D.W.1
Liu, J.W.-S.2
-
14
-
-
0020632498
-
Algorithmic approaches to preselective strategies for stochastic scheduling problems
-
G. IGELMUND AND F. J. RADERMACHER, Algorithmic approaches to preselective strategies for stochastic scheduling problems, Networks, 13 (1983), pp. 29-48.
-
(1983)
Networks
, vol.13
, pp. 29-48
-
-
Igelmund, G.1
Radermacher, F.J.2
-
15
-
-
0032203664
-
Deciding the winner in parity games is in UP ∪ co-UP
-
M. JURDZIŃSKI, Deciding the winner in parity games is in UP ∪ co-UP, Inform. Process. Lett., 68 (1998), pp. 119-124.
-
(1998)
Inform. Process. Lett.
, vol.68
, pp. 119-124
-
-
Jurdziński, M.1
-
16
-
-
0002210838
-
A generalization of Dijkstra's algorithm
-
D. E. KNUTH, A generalization of Dijkstra's algorithm, Inform. Process. Lett., 6 (1977), pp. 1-5.
-
(1977)
Inform. Process. Lett.
, vol.6
, pp. 1-5
-
-
Knuth, D.E.1
-
17
-
-
0004087561
-
-
Springer-Verlag, Berlin
-
B. KORTE, L. LOVÁSZ, AND R. SCHRADER, Greedoids, Springer-Verlag, Berlin, 1991.
-
(1991)
Greedoids
-
-
Korte, B.1
Lovász, L.2
Schrader, R.3
-
18
-
-
0036873655
-
Makespan minimization in projects with threshold activities
-
E. LEVNER, S. C. SUNG, AND M. VLACH, Makespan minimization in projects with threshold activities, Asia-Pacific J. Oper. Res., 19 (2002), pp. 195-204.
-
(2002)
Asia-pacific J. Oper. Res.
, vol.19
, pp. 195-204
-
-
Levner, E.1
Sung, S.C.2
Vlach, M.3
-
19
-
-
0013455073
-
A subexponential randomized algorithm for the simple stochastic game problem
-
W. LUDWIG, A subexponential randomized algorithm for the simple stochastic game problem, Inform. and Comput., 117 (1995), pp. 151-155.
-
(1995)
Inform. and Comput.
, vol.117
, pp. 151-155
-
-
Ludwig, W.1
-
20
-
-
0002848152
-
Algorithms for interface liming verification
-
IEEE Computer Society Press, Los Alamitos, CA
-
K. L. MCMILLAN AND D. L. DILL, Algorithms for interface liming verification, in Proceedings of the IEEE International Conference on Computer Design, IEEE Computer Society Press, Los Alamitos, CA, 1992, pp. 48-51.
-
(1992)
Proceedings of the IEEE International Conference on Computer Design
, pp. 48-51
-
-
McMillan, K.L.1
Dill, D.L.2
-
21
-
-
0033881159
-
Forcing relations for AND/OR precedence constraints
-
ACM, New York, SIAM, Philadelphia
-
R. H. MÖHRING, M. SKUTELLA, AND F. STORK, Forcing relations for AND/OR precedence constraints, in Proceedings of the Eleventh Annual ACM-SIAM Symposium on Discrete Algorithms (SODA'00), ACM, New York, SIAM, Philadelphia, 2000, pp. 235-236.
-
(2000)
Proceedings of the Eleventh Annual ACM-SIAM Symposium on Discrete Algorithms (SODA'00)
, pp. 235-236
-
-
Möhring, R.H.1
Skutella, M.2
Stork, F.3
-
22
-
-
18044403717
-
Linear preselective policies for stochastic project scheduling
-
R. H. MÖHRING AND F. STORK, Linear preselective policies for stochastic project scheduling, Math. Methods Oper. Res., 52 (2000), pp. 501-515.
-
(2000)
Math. Methods Oper. Res.
, vol.52
, pp. 501-515
-
-
Möhring, R.H.1
Stork, F.2
-
25
-
-
0003516463
-
A Branch-and-Bound Algorithm for the Resource-Constrained Project Duration Problem Subject to Temporal Constraints
-
WIOR, University of Karlsruhe, Germany
-
C. SCHWINDT, A Branch-and-Bound Algorithm for the Resource-Constrained Project Duration Problem Subject to Temporal Constraints, Technical report 544, WIOR, University of Karlsruhe, Germany, 1998.
-
(1998)
Technical Report
, vol.544
-
-
Schwindt, C.1
-
27
-
-
0004284657
-
-
Computer Science Press, Rockville, MD
-
J. D. ULLMAN, Principles of Database Systems, 2nd ed., Computer Science Press, Rockville, MD, 1982.
-
(1982)
Principles of Database Systems, 2nd Ed.
-
-
Ullman, J.D.1
-
28
-
-
84944395659
-
A discrete strategy improvement algorithm for solving parity games
-
Proceedings of the 12th International Conference of Computer Aided Verification, CAV 2000, E. A. Emerson and A. P. Sistla, eds., Springer-Verlag, Chicago, IL
-
J. VÖGE AND M. JURDZIŃSKI, A discrete strategy improvement algorithm for solving parity games, in Proceedings of the 12th International Conference of Computer Aided Verification, CAV 2000, E. A. Emerson and A. P. Sistla, eds., Lecture Notes in Comput. Sci. 1855, Springer-Verlag, Chicago, IL, 2000, pp. 202-215.
-
(2000)
Lecture Notes in Comput. Sci.
, vol.1855
, pp. 202-215
-
-
Vöge, J.1
Jurdziński, M.2
-
29
-
-
0030143640
-
The complexity of mean payoff games on graphs
-
U. ZWICK AND M. PATERSON, The complexity of mean payoff games on graphs, Theoret. Comput. Sci., 158 (1996), pp. 343-359.
-
(1996)
Theoret. Comput. Sci.
, vol.158
, pp. 343-359
-
-
Zwick, U.1
Paterson, M.2
|