Niklas En
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
6
Active years
2000–2015
Best venue rank
A*
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | AAAI | SAT-Based Strategy Extraction in Reachability Games. | Niklas En, Alexander Legg, Nina Narodytska, Leonid Ryzhyk |
| 2013 | DATE | GLA: gate-level abstraction revisited. | Alan Mishchenko, Niklas En, Robert K. Brayton, Jason Baumgartner, Hari Mony, Pradeep Kumar Nalla |
| 2013 | DATE | A semi-canonical form for sequential AIGs. | Alan Mishchenko, Niklas En, Robert K. Brayton, Michael L. Case, Pankaj Chauhan, Nikhil Sharma |
| 2013 | FMCAD | A circuit approach to LTL model checking. | Koen Claessen, Niklas En, Baruch Sterin |
| 2013 | FMCAD | A Fast Reparameterization Procedure. | Niklas En, Alan Mishchenko |
| 2012 | DATE | Mapping into LUT structures. | Sayak Ray, Alan Mishchenko, Niklas En, Robert K. Brayton, Stephen Jang, Chao Chen |
| 2011 | FMCAD | Efficient implementation of property directed reachability. | Niklas En, Alan Mishchenko, Robert K. Brayton |
| 2010 | FMCAD | A single-instance incremental SAT formulation of proof- and counterexample-based abstraction. | Niklas En, Alan Mishchenko, Nina Amla |
| 2007 | SAT | Applying Logic Synthesis for Speeding Up SAT. | Niklas En, Alan Mishchenko, Niklas Srensson |
| 2006 | ICCAD | Improvements to combinational equivalence checking. | Alan Mishchenko, Satrajit Chatterjee, Robert K. Brayton, Niklas En |
| 2005 | SAT | Effective Preprocessing in SAT Through Variable and Clause Elimination. | Niklas En, Armin Biere |
| 2003 | SAT | An Extensible SAT-solver. | Niklas En, Niklas Srensson |
| 2000 | TACAS | Symbolic Reachability Analysis Based on SAT-Solvers. | Parosh Aziz Abdulla, Per Bjesse, Niklas En |