Experimental and Theoretical Analysis of Local Search Optimising OBDD Variable Orderings

Thomas Jansen*, Christine Zarges

*Awdur cyfatebol y gwaith hwn

Allbwn ymchwil: Pennod mewn Llyfr/Adroddiad/Trafodion CynhadleddTrafodion Cynhadledd (Nid-Cyfnodolyn fathau)

Canlyniadau chwilio