Alan Mishchenko

Identifiers

• name variant Alan Mishchenko 0.60 · backfill

Papers (3)

1. A Single-Instance Incremental SAT Formulation of Proof- and Counterexample-Based Abstraction cs.LO · 2010 · author #2
2. Efficient Solution of Language Equations Using Partitioned Representations cs.LO · 2007 · author #1
3. SAT-Based Complete Don't-Care Computation for Network Optimization cs.LO · 2007 · author #1

Mentions

• 1008.2021 #2 · backfill · confidence 0.70 Alan Mishchenko
• 0710.4743 #1 · backfill · confidence 0.70 Alan Mishchenko
• 0710.4695 #1 · backfill · confidence 0.70 Alan Mishchenko

Frequent Coauthors

• Niklas Een 1 shared papers
• Nina Amla 1 shared papers
• Nina Yevtushenko 1 shared papers
• Robert Brayton 1 shared papers
• Robert K. Brayton 1 shared papers
• Roland Jiang 1 shared papers
• Tiziano Villa 1 shared papers