Niklas Eén

According to our database, Niklas Eén authored at least 18 papers between 2000 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

DeepMath - Deep Sequence Models for Premise Selection.

Geoffrey Irving, Christian Szegedy, Alexander A. Alemi, Niklas Eén, François Chollet, Josef Urban

Proceedings of the Advances in Neural Information Processing Systems 29: Annual Conference on Neural Information Processing Systems 2016, 2016

2015

SAT-Based Strategy Extraction in Reachability Games.

Niklas Eén, Alexander Legg, Nina Narodytska, Leonid Ryzhyk

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2013

A Fast Reparameterization Procedure.

Niklas Eén, Alan Mishchenko

Proceedings of the Second International Workshop on Design and Implementation of Formal Tools and Systems, 2013

A circuit approach to LTL model checking.

Koen Claessen, Niklas Eén, Baruch Sterin

Proceedings of the Formal Methods in Computer-Aided Design, 2013

A semi-canonical form for sequential AIGs.

Alan Mishchenko, Niklas Eén, Robert K. Brayton, Michael L. Case, Pankaj Chauhan, Nikhil Sharma

Proceedings of the Design, Automation and Test in Europe, 2013

GLA: gate-level abstraction revisited.

Alan Mishchenko, Niklas Eén, Robert K. Brayton, Jason Baumgartner, Hari Mony, Pradeep Kumar Nalla

Proceedings of the Design, Automation and Test in Europe, 2013

2012

Mapping into LUT structures.

Sayak Ray, Alan Mishchenko, Niklas Eén, Robert K. Brayton, Stephen Jang, Chao Chen

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

2011

Efficient implementation of property directed reachability.

Niklas Eén, Alan Mishchenko, Robert K. Brayton

Proceedings of the International Conference on Formal Methods in Computer-Aided Design, 2011

2010

A single-instance incremental SAT formulation of proof- and counterexample-based abstraction.

Niklas Eén, Alan Mishchenko, Nina Amla

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

2009

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

2007

Applying Logic Synthesis for Speeding Up SAT.

Niklas Eén, Alan Mishchenko, Niklas Sörensson

Proceedings of the Theory and Applications of Satisfiability Testing, 2007

2006

Translating Pseudo-Boolean Constraints into SAT.

Niklas Eén, Niklas Sörensson

J. Satisf. Boolean Model. Comput., 2006

Improvements to combinational equivalence checking.

Alan Mishchenko, Satrajit Chatterjee, Robert K. Brayton, Niklas Eén

Proceedings of the 2006 International Conference on Computer-Aided Design, 2006

2005

SAT Based Model Checking.

Niklas Eén

PhD thesis, 2005

Effective Preprocessing in SAT Through Variable and Clause Elimination.

Niklas Eén, Armin Biere

Proceedings of the Theory and Applications of Satisfiability Testing, 2005

2003

Temporal induction by incremental SAT solving.

Niklas Eén, Niklas Sörensson

Proceedings of the First International Workshop on Bounded Model Checking, 2003

An Extensible SAT-solver.

Niklas Eén, Niklas Sörensson

Proceedings of the Theory and Applications of Satisfiability Testing, 2003

2000

Symbolic Reachability Analysis Based on SAT-Solvers.

Parosh Aziz Abdulla, Per Bjesse, Niklas Eén

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000