Niklas Eén

Publication Activity (10 Years)

Years Active: 2000-2016
Publications (10 Years): 1

Top Venues

DATE

DIFTS@FMCAD

NIPS

FMCAD

Chalmers University of Technology, Gothenburg, Sweden (PHD)

Education History

Chalmers University of Technology, Gothenburg, Sweden

PHD

Publications

Geoffrey Irving, Christian Szegedy, Alexander A. Alemi, Niklas Eén, François Chollet, Josef Urban
DeepMath - Deep Sequence Models for Premise Selection. NIPS (2016)
Niklas Eén, Alexander Legg, Nina Narodytska, Leonid Ryzhyk
SAT-Based Strategy Extraction in Reachability Games. AAAI (2015)
Alan Mishchenko, Niklas Eén, Robert K. Brayton, Jason Baumgartner, Hari Mony, Pradeep Kumar Nalla
GLA: gate-level abstraction revisited. DATE (2013)
Alan Mishchenko, Niklas Eén, Robert K. Brayton, Michael L. Case, Pankaj Chauhan, Nikhil Sharma
A semi-canonical form for sequential AIGs. DATE (2013)
Koen Claessen, Niklas Eén, Baruch Sterin
A circuit approach to LTL model checking. FMCAD (2013)
Niklas Eén, Alan Mishchenko
A Fast Reparameterization Procedure. DIFTS@FMCAD (2013)
Sayak Ray, Alan Mishchenko, Niklas Eén, Robert K. Brayton, Stephen Jang, Chao Chen
Mapping into LUT structures. DATE (2012)
Niklas Eén, Alan Mishchenko, Robert K. Brayton
Efficient implementation of property directed reachability. FMCAD (2011)
Niklas Eén, Alan Mishchenko, Nina Amla
A single-instance incremental SAT formulation of proof- and counterexample-based abstraction. FMCAD (2010)
Niklas Eén, Alan Mishchenko, Nina Amla
A Single-Instance Incremental SAT Formulation of Proof- and Counterexample-Based Abstraction CoRR (2010)
Koen Claessen, Niklas Eén, Mary Sheeran, Niklas Sörensson, Alexey Voronov, Knut Åkesson
SAT-Solving in Practice, with a Tutorial Example from Supervisory Control. Discret. Event Dyn. Syst. 19 (4) (2009)
Niklas Eén, Alan Mishchenko, Niklas Sörensson
Applying Logic Synthesis for Speeding Up SAT. SAT (2007)
Alan Mishchenko, Satrajit Chatterjee, Robert K. Brayton, Niklas Eén
Improvements to combinational equivalence checking. ICCAD (2006)
Niklas Eén, Niklas Sörensson
Translating Pseudo-Boolean Constraints into SAT. J. Satisf. Boolean Model. Comput. 2 (1-4) (2006)
Niklas Eén, Armin Biere
Effective Preprocessing in SAT Through Variable and Clause Elimination. SAT (2005)
Niklas Eén, Niklas Sörensson
An Extensible SAT-solver. SAT (2003)
Niklas Eén, Niklas Sörensson
Temporal induction by incremental SAT solving. Electron. Notes Theor. Comput. Sci. 89 (4) (2003)
Parosh Aziz Abdulla, Per Bjesse, Niklas Eén
Symbolic Reachability Analysis Based on SAT-Solvers. TACAS (2000)

Niklas Eén.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Niklas Eén