Search
Now showing items 1-4 of 4
Evaluation of high-level Petri nets by means of aggregation and decomposition.
(1995) Communication / Conférence
Maximum independent set and linear programming.
(1995) Communication / Conférence
Symbolic Reachability Graph and Partial Symmetries.
(1995) Communication / Conférence
The probabilistic maximum independent set problem.
(1995) Communication / Conférence