The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Niklas Eén" ( http://dblp.L3S.de/Authors/Niklas_Eén )

  Author page on DBLP  Author page in RDF  Community of Niklas Eén in ASPL-2

Publication years (Num. hits)
2000-2013 (17) 2015-2016 (2)
Publication types (Num. hits)
article(4) inproceedings(14) phdthesis(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 20 publication records. Showing 19 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Geoffrey Irving, Christian Szegedy, Alexander A. Alemi, Niklas Eén, François Chollet, Josef Urban DeepMath - Deep Sequence Models for Premise Selection. Search on Bibsonomy NIPS The full citation details ... 2016 DBLP  BibTeX  RDF
1Niklas Eén, Alexander Legg, Nina Narodytska, Leonid Ryzhyk SAT-Based Strategy Extraction in Reachability Games. Search on Bibsonomy AAAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Alan Mishchenko, Niklas Eén, Robert K. Brayton, Jason Baumgartner, Hari Mony, Pradeep Kumar Nalla GLA: gate-level abstraction revisited. Search on Bibsonomy DATE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alan Mishchenko, Niklas Eén, Robert K. Brayton, Michael L. Case, Pankaj Chauhan, Nikhil Sharma A semi-canonical form for sequential AIGs. Search on Bibsonomy DATE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Koen Claessen, Niklas Eén, Baruch Sterin A circuit approach to LTL model checking. Search on Bibsonomy FMCAD The full citation details ... 2013 DBLP  BibTeX  RDF
1Niklas Eén, Alan Mishchenko A Fast Reparameterization Procedure. Search on Bibsonomy DIFTS@FMCAD The full citation details ... 2013 DBLP  BibTeX  RDF
1Sayak Ray, Alan Mishchenko, Niklas Eén, Robert K. Brayton, Stephen Jang, Chao Chen Mapping into LUT structures. Search on Bibsonomy DATE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Niklas Eén, Alan Mishchenko, Robert K. Brayton Efficient implementation of property directed reachability. Search on Bibsonomy FMCAD The full citation details ... 2011 DBLP  BibTeX  RDF
1Niklas Eén, Alan Mishchenko, Nina Amla A Single-Instance Incremental SAT Formulation of Proof- and Counterexample-Based Abstraction Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Niklas Eén, Alan Mishchenko, Nina Amla A single-instance incremental SAT formulation of proof- and counterexample-based abstraction. Search on Bibsonomy FMCAD The full citation details ... 2010 DBLP  BibTeX  RDF
1Koen Claessen, Niklas Eén, Mary Sheeran, Niklas Sörensson, Alexey Voronov, Knut Åkesson SAT-Solving in Practice, with a Tutorial Example from Supervisory Control. Search on Bibsonomy Discrete Event Dynamic Systems The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Niklas Eén, Alan Mishchenko, Niklas Sörensson Applying Logic Synthesis for Speeding Up SAT. Search on Bibsonomy SAT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Niklas Eén, Niklas Sörensson Translating Pseudo-Boolean Constraints into SAT. Search on Bibsonomy JSAT The full citation details ... 2006 DBLP  BibTeX  RDF
1Alan Mishchenko, Satrajit Chatterjee, Robert K. Brayton, Niklas Eén Improvements to combinational equivalence checking. Search on Bibsonomy ICCAD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Niklas Eén, Armin Biere Effective Preprocessing in SAT Through Variable and Clause Elimination. Search on Bibsonomy SAT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Niklas Eén SAT Based Model Checking. Search on Bibsonomy 2005   RDF
1Niklas Eén, Niklas Sörensson Temporal induction by incremental SAT solving. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Niklas Eén, Niklas Sörensson An Extensible SAT-solver. Search on Bibsonomy SAT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Per Bjesse, Niklas Eén Symbolic Reachability Analysis Based on SAT-Solvers. Search on Bibsonomy TACAS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #19 of 19 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license