Alex Ozdemir

Identifiers

• name variant Alex Ozdemir 0.50 · backfill

Papers (1)

1. DRAT-based Bit-Vector Proofs in CVC4 cs.LO · 2019 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Aina Niemetz 1 shared papers
• Clark Barrett 1 shared papers
• Mathias Preiner 1 shared papers
• Yoni Zohar 1 shared papers