O. Grumberg

Identifiers

• name variant O. Grumberg 0.60 · backfill

Papers (1)

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

Mentions

• 1107.0020 #1 · backfill · confidence 0.70 O. Grumberg

Frequent Coauthors

• S. Livne 1 shared papers
• S. Markovitch 1 shared papers