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)

Search results