Experimental and Theoretical Analysis of Local Search Optimising OBDD Variable Orderings.

Thomas Jansen, Christine Zarges

Browse the full EvoCOP paper archive.