Fingerprint
Dive into the research topics of 'Experimental and Theoretical Analysis of Local Search Optimising OBDD Variable Orderings'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
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 (Non-Journal item)