Niklas Eén

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