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 Sorensson
Lecture notes in computer science 2919 (2004), 502-518, 2004
41132004
Effective preprocessing in SAT through variable and clause elimination
N EÚn, A Biere
SAT 3569, 61-75, 2005
9022005
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
8062006
Temporal induction by incremental SAT solving
N EÚn, N S÷rensson
Electronic Notes in Theoretical Computer Science 89 (4), 543-560, 2003
5252003
Efficient implementation of property directed reachability
N EÚn, A Mishchenko, R Brayton
2011 Formal Methods in Computer-Aided Design (FMCAD), 125-134, 2011
3692011
Symbolic reachability analysis based on SAT-solvers
PA Abdulla, P Bjesse, N EÚn
Tools and Algorithms for the Construction and Analysis of Systems: 6thá…, 2000
2852000
Minisat-a SAT solver with conflict-clause minimization
N Een
Proc. Theory and Applications of Satisfiability Testing (SAT 05), 2005
2672005
Minisat v1. 13-a sat solver with conflict-clause minimization
N Sorensson, N Een
SAT 53 (2005), 1-2, 2005
2582005
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
1872006
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
1212016
Applying logic synthesis for speeding up SAT
N EÚn, A Mishchenko, N Sorensson
Sat 7, 272-286, 2007
1082007
The minisat page
N EÚn
http://minisat. se/, 2006
1002006
DeepMath-deep sequence models for premise selection
AA Alemi, F Chollet, N EÚn, G Irving, C Szegedy, J Urban
arXiv preprint arXiv:1606.04442, 2016
952016
MiniSat
N Een, N S÷rensson
832007
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
582010
Minisat 2.1 and minisat++ 1.0-sat race 2008 editions
N S÷rensson, N EÚn
SAT, 31, 2009
562009
SAT-solving in practice
K Claessen, N Een, M Sheeran, N Sorensson
2008 9th International Workshop on Discrete Event Systems, 61-67, 2008
482008
Mapping into LUT structures
S Ray, A Mishchenko, N EÚn, R Brayton, S Jang, C Chen
2012 Design, Automation & Test in Europe Conference & Exhibition (DATEá…, 2012
462012
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
392009
Minisat v2. 0 (beta)
N Een, N S÷rensson
Solver description, SAT race 2006, 2006
252006
The system can't perform the operation now. Try again later.
Articles 1–20