共 34 条
[1]
ADLER, 1989, STRONGLY POLYNOMIAL
[2]
[Anonymous], 1960, FINITE MARKOV CHAINS
[3]
BERN MW, 1985, LINEAR TIME COMPUTAT
[4]
CAMPBELL BA, 1987, THESIS PURDUE U W LA
[6]
COSARES S, 1987, ADVANTAGEOUS PROPERT
[9]
LINEAR-TIME ALGORITHMS FOR TESTING THE SATISFIABILITY OF PROPOSITIONAL HORN FORMULAE.
[J].
Journal of Logic Programming,
1984, 1 (03)
:267-284
[10]
Edmonds J., 1975, ANN DISCRETE MATH, V1, P185, DOI DOI 10.1016/S0167-5060(08)70734-9