Folgen
Niklas Een
Niklas Een
Researcher at Google
Bestätigte E-Mail-Adresse bei een.se
Titel
Zitiert von
Zitiert von
Jahr
An extensible SAT-solver
N Eén, N Sorensson
Lecture notes in computer science 2919 (2004), 502-518, 2004
40822004
Effective preprocessing in SAT through variable and clause elimination
N Eén, A Biere
SAT 3569, 61-75, 2005
8962005
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
7992006
Temporal induction by incremental SAT solving
N Eén, N Sörensson
Electronic Notes in Theoretical Computer Science 89 (4), 543-560, 2003
5182003
Efficient implementation of property directed reachability
N Eén, A Mishchenko, R Brayton
2011 Formal Methods in Computer-Aided Design (FMCAD), 125-134, 2011
3642011
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
2832000
Minisat-a SAT solver with conflict-clause minimization
N Een
Proc. Theory and Applications of Satisfiability Testing (SAT 05), 2005
2642005
Minisat v1. 13-a sat solver with conflict-clause minimization
N Sorensson, N Een
SAT 53 (2005), 1-2, 2005
2522005
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
1832006
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
1182016
Applying logic synthesis for speeding up SAT
N Eén, A Mishchenko, N Sorensson
Sat 7, 272-286, 2007
1042007
The minisat page
N Eén
http://minisat. se/, 2006
992006
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
912016
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
572010
Minisat 2.1 and minisat++ 1.0-sat race 2008 editions
N Sörensson, N Eén
SAT, 31, 2009
552009
SAT-solving in practice
K Claessen, N Een, M Sheeran, N Sorensson
2008 9th International Workshop on Discrete Event Systems, 61-67, 2008
472008
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
452012
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20