Symbolic Reachability Analysis Based on SAT-Solvers. - Parosh Aziz Abdulla; Per Bjesse; Niklas Eén (TACAS, 2000)

An Extensible SAT-solver. - Niklas Eén; Niklas Sörensson (SAT, 2003)

Temporal induction by incremental SAT solving. - Niklas Eén; Niklas Sörensson (BMC@CAV, 2003)

Effective Preprocessing in SAT Through Variable and Clause Elimination. - Niklas Eén; Armin Biere (SAT, 2005)

SAT Based Model Checking. - Niklas Eén (2005)

Improvements to combinational equivalence checking. - Alan Mishchenko; Satrajit Chatterjee; Robert K. Brayton; Niklas Eén (ICCAD, 2006)

Translating Pseudo-Boolean Constraints into SAT. - Niklas Eén; Niklas Sörensson (J. Satisf. Boolean Model. Comput., 2006)

Applying Logic Synthesis for Speeding Up SAT. - Niklas Eén; Alan Mishchenko; Niklas Sörensson (SAT, 2007)

SAT-Solving in Practice, with a Tutorial Example from Supervisory Control. - Koen Claessen; Niklas Eén; Mary Sheeran; Niklas Sörensson; Alexey Voronov; Knut Åkesson (Discret. Event Dyn. Syst., 2009)

A single-instance incremental SAT formulation of proof- and counterexample-based abstraction. - Niklas Eén; Alan Mishchenko; Nina Amla (FMCAD, 2010)

Efficient implementation of property directed reachability. - Niklas Eén; Alan Mishchenko; Robert K. Brayton (FMCAD, 2011)

Mapping into LUT structures. - Sayak Ray; Alan Mishchenko; Niklas Eén; Robert K. Brayton; Stephen Jang; Chao Chen (DATE, 2012)

GLA: gate-level abstraction revisited. - Alan Mishchenko; Niklas Eén; Robert K. Brayton; Jason Baumgartner; Hari Mony; Pradeep Kumar Nalla (DATE, 2013)

A semi-canonical form for sequential AIGs. - Alan Mishchenko; Niklas Eén; Robert K. Brayton; Michael L. Case; Pankaj Chauhan; Nikhil Sharma (DATE, 2013)

A circuit approach to LTL model checking. - Koen Claessen; Niklas Eén; Baruch Sterin (FMCAD, 2013)

A Fast Reparameterization Procedure. - Niklas Eén; Alan Mishchenko (DIFTS@FMCAD, 2013)

SAT-Based Strategy Extraction in Reachability Games. - Niklas Eén; Alexander Legg; Nina Narodytska; Leonid Ryzhyk (AAAI, 2015)

DeepMath - Deep Sequence Models for Premise Selection. - Geoffrey Irving; Christian Szegedy; Alexander A. Alemi; Niklas Eén; François Chollet; Josef Urban (NIPS, 2016)