Home | Publications | CS Home

Publications of Shaul Markovitch Coauthored with: Shlomi Livne

  1. 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]