Learning to Order BDD Variables in Verification (2003)

by Orna Grumberg , Shlomi Livne , Shaul Markovitch
Venue:Journal of Artificial Intelligence Research
Citations:12 - 0 self