S. Livne

Identifiers

• name variant S. Livne 0.60 · backfill

Papers (1)

1. Learning to Order BDD Variables in Verification cs.AI · 2011 · author #2

Mentions

• 1107.0020 #2 · backfill · confidence 0.70 S. Livne

Frequent Coauthors

• O. Grumberg 1 shared papers
• S. Markovitch 1 shared papers