Niklas Srensson
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2003–2012
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | FMCAD | A liveness checking algorithm that counts. | Koen Claessen, Niklas Srensson |
| 2009 | SAT | Minimizing Learned Clauses. | Niklas Srensson, Armin Biere |
| 2007 | SAT | Applying Logic Synthesis for Speeding Up SAT. | Niklas En, Alan Mishchenko, Niklas Srensson |
| 2003 | SAT | An Extensible SAT-solver. | Niklas En, Niklas Srensson |
| 2003 | TABLEAUX | Fair Constraint Merging Tableaux in Lazy Functional Programming Style. | Reiner Hhnle, Niklas Srensson |