Login / Signup

-preferred evolutionary algorithm for approximate BDD optimization.

Saeideh ShirinzadehMathias SoekenDaniel GroßeRolf Drechsler
Published in: GECCO (2017)
Keyphrases