No. 21 (2000): RS-21 Heuristics for Hierarchical Partitioning with Application to Model Checking

Published: 2000-01-21