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)

Ôl bys

Gweld gwybodaeth am bynciau ymchwil 'Experimental and Theoretical Analysis of Local Search Optimising OBDD Variable Orderings'. Gyda’i gilydd, maen nhw’n ffurfio ôl bys unigryw.

Computer Science

Mathematics