ML Anthology

Grumberg, Orna

1 publications

JAIR 2003 Learning to Order BDD Variables in Verification Orna Grumberg, Shlomi Livne, Shaul Markovitch