Variable ordering heuristics for binary decision diagrams
By: by Lisa Marie Bartlett.
Published: 2000
Language: eng
Notes: Thesis (Ph.D.) -  Loughborough University, 2000.