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
35292003
Effective preprocessing in SAT through variable and clause elimination
N Eén, A Biere
International conference on theory and applications of satisfiability …, 2005
7832005
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
7072006
Temporal induction by incremental SAT solving
N Eén, N Sörensson
Electronic Notes in Theoretical Computer Science 89 (4), 543-560, 2003
4382003
Efficient implementation of property directed reachability
N Een, A Mishchenko, R Brayton
2011 Formal Methods in Computer-Aided Design (FMCAD), 125-134, 2011
2842011
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
2652000
MiniSat: A SAT solver with conflict-clause minimization
N Een
Proc. SAT-05: 8th Int. Conf. on Theory and Applications of Satisfiability …, 2005
2332005
Minisat v1. 13-a sat solver with conflict-clause minimization
N Sorensson, N Een
SAT 2005 (53), 1-2, 2005
1812005
Improvements to combinational equivalence checking
A Mishchenko, S Chatterjee, R Brayton, N Een
2006 IEEE/ACM International Conference on Computer Aided Design, 836-843, 2006
1592006
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, 2235-2243, 2016
1262016
Applying logic synthesis for speeding up SAT
N Een, A Mishchenko, N Sörensson
International Conference on Theory and Applications of Satisfiability …, 2007
942007
The minisat page
N Eén
http://minisat. se/, 2006
822006
MiniSat
N Een, N Sörensson
792007
A single-instance incremental SAT formulation of proof-and counterexample-based abstraction
N Een, A Mishchenko, N Amla
Formal Methods in Computer Aided Design, 181-188, 2010
522010
Minisat 2.1 and minisat++ 1.0-sat race 2008 editions
N Sörensson, N Eén
SAT, 31, 2009
472009
SAT-solving in practice
K Claessen, N Een, M Sheeran, N Sorensson
2008 9th International Workshop on Discrete Event Systems, 61-67, 2008
422008
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
392012
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 (4), 495, 2009
292009
Minisat v2. 0 (beta)
N Een, N Sörensson
Solver description, SAT race 2006, 2006
252006
Cut sweeping
N Een
Cadence Design Systems, Tech. Rep, 2007
212007
The system can't perform the operation now. Try again later.
Articles 1–20