Sampling schemes for computing OBDD variable orderings
Year: 1998
Type: conference-paper
Institutions: Fujitsu (United States), The University of Texas at Austin
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W1992105102