Follow
Niklas Een
Niklas Een
Researcher at Google
Verified email at een.se
Title
Cited by
Cited by
Year
An extensible SAT-solver
N Eén, N Sörensson
International conference on theory and applications of satisfiability …, 2003
44252003
Effective preprocessing in SAT through variable and clause elimination
N Eén, A Biere
International conference on theory and applications of satisfiability …, 2005
9592005
Translating pseudo-boolean constraints into SAT
N Eén, N Sörensson
Journal on Satisfiability, Boolean Modeling and Computation 2 (1-4), 1-26, 2006
8782006
Temporal induction by incremental SAT solving
N Eén, N Sörensson
Electronic Notes in Theoretical Computer Science 89 (4), 543-560, 2003
5792003
Efficient implementation of property directed reachability
N Eén, A Mishchenko, R Brayton
2011 Formal Methods in Computer-Aided Design (FMCAD), 125-134, 2011
4362011
Minisat v1. 13-a sat solver with conflict-clause minimization
N Sorensson, N Een
SAT 2005 (53), 1-2, 2005
3182005
Symbolic reachability analysis based on SAT-solvers
PA Abdulla, P Bjesse, N Eén
International Conference on Tools and Algorithms for the Construction and …, 2000
2842000
Minisat-a SAT solver with conflict-clause minimization
N Een
Proc. Theory and Applications of Satisfiability Testing (SAT 05), 2005
2782005
Improvements to combinational equivalence checking
A Mishchenko, S Chatterjee, R Brayton, N Een
Proceedings of the 2006 IEEE/ACM international conference on Computer-aided …, 2006
2252006
Deepmath-deep sequence models for premise selection
G Irving, C Szegedy, AA Alemi, N Eén, F Chollet, J Urban
Advances in neural information processing systems 29, 2016
1732016
Applying logic synthesis for speeding up SAT
N Eén, A Mishchenko, N Sörensson
Theory and Applications of Satisfiability Testing–SAT 2007: 10th …, 2007
1192007
DeepMath-deep sequence models for premise selection
AA Alemi, F Chollet, N Een, G Irving, C Szegedy, J Urban
arXiv preprint arXiv:1606.04442, 2016
1152016
The minisat page
N Eén
http://minisat. se/, 2006
1042006
MiniSat
N Een, N Sörensson
852007
A single-instance incremental SAT formulation of proof-and counterexample-based abstraction
N Eén, A Mishchenko, N Amla
Formal Methods in Computer Aided Design, 181-188, 2010
632010
Minisat 2.1 and minisat++ 1.0-sat race 2008 editions
N Sörensson, N Eén
SAT, 31, 2009
612009
SAT-solving in practice
K Claessen, N Een, M Sheeran, N Sorensson
2008 9th International Workshop on Discrete Event Systems, 61-67, 2008
542008
Mapping into LUT structures
S Ray, A Mishchenko, N Een, R Brayton, S Jang, C Chen
2012 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2012
532012
SAT-solving in practice, with a tutorial example from supervisory control
K Claessen, N Een, M Sheeran, N Sörensson, A Voronov, K Åkesson
Discrete Event Dynamic Systems 19, 495-524, 2009
432009
Minisat v2. 0 (beta)
N Een, N Sörensson
Solver description, SAT race 2006, 2006
262006
The system can't perform the operation now. Try again later.
Articles 1–20