2006 · Alan Mishchenko, Satrajit Chatterjee, et al. · Digest of technical papers/Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design · 145

DeepMath - Deep Sequence Models for Premise Selection

2016 · Alemi, Alex A., Chollet, Francois, et al. · arXiv (Cornell University) · 110

PDF

Improvements to Combinational Equivalence Checking

2006 · Alan Mishchenko, Satrajit Chatterjee, et al. · Digest of technical papers/Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design · 110

Applying Logic Synthesis for Speeding Up SAT

2007 · Niklas Een, Alan Mishchenko, et al. · Springer eBooks · 83

A Single-Instance Incremental SAT Formulation of Proof- and Counterexample-Based Abstraction

2010 · Een, Niklas, Mishchenko, Alan, et al. · arXiv (Cornell University) · 42

PDF

SAT-solving in practice

2008 · Koen Claessen, Niklas Een, et al. · International Workshop on Discrete Event Systems · 33

Mapping into LUT structures

2012 · S. Ray, A. Mishchenko, et al. · Design, Automation, and Test in Europe · 30

SAT-Solving in Practice, with a Tutorial Example from Supervisory Control

2009 · Koen Claessen, Niklas Een, et al. · Discrete Event Dynamic Systems · 30

Mapping into LUT structures

2012 · Sayak Ray, Alan Mishchenko, et al. · 19

A circuit approach to LTL model checking

2013 · Koen Claessen, Niklas Een, et al. · Formal Methods in Computer-Aided Design · 16

GLA: Gate-Level Abstraction Revisited

2013 · Alan Mishchenko, Niklas Een, et al. · Design, Automation, and Test in Europe · 15

GLA: Gate-Level Abstraction Revisited

2013 · Alan Mishchenko, Niklas Een, et al. · 13

SAT-Based Strategy Extraction in Reachability Games

2015 · Niklas Een, Alexander Legg, et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 9

SAT Based Model Checking

2005 · Niklas Eén · Chalmers Publication Library (Chalmers University of Technology) · 5

A semi-canonical form for sequential AIGs

2013 · Alan Mishchenko, Niklas Eén, et al. · 4

Magic: An Industrial-Strength Logic Optimization, Technology Mapping, and Formal Verification Tool

2010 · Alan Mishchenko, Niklas Eén, et al. · 4

A Fast Reparameterization Procedure.

2013 · Niklas Eén, Alan Mishchenko · 3

A Semi-Canonical Form for Sequential AIGs

2013 · Alan Mishchenko, Niklas Een, et al. · Design, Automation, and Test in Europe · 3

Works count: 46

Citation count: 5,554

H-index: 16

I10-index: 19