Home
|
Publications
|
CS Home
Publications of Shaul Markovitch Coauthored with: Shlomi Livne
Orna Grumberg, Shlomi Livne and Shaul Markovitch. Learning to Order {BDD} Variables in Verification.
Journal of Artificial Intelligence Research
, 18:83-116 2003.[
abstract
][
pdf
]