Equipment
- 1 results
Experimental and Theoretical Analysis of Local Search Optimising OBDD Variable Orderings
- Thomas Jansen*
- , Christine Zarges
*Corresponding author for this work
Research output: Chapter in Book/Report/Conference proceeding › Conference Proceeding (ISBN)
1
Citation
(Scopus)