Niklas Sörensson

Publication Activity (10 Years)

Years Active: 2003-2012
Publications (10 Years): 0

Top Topics

Selection Algorithm

Experimental Evaluation

Top Venues

Publications

Koen Claessen, Niklas Sörensson
A liveness checking algorithm that counts. FMCAD (2012)
Koen Claessen, Niklas Eén, Mary Sheeran, Niklas Sörensson, Alexey Voronov, Knut Åkesson
SAT-Solving in Practice, with a Tutorial Example from Supervisory Control. Discret. Event Dyn. Syst. 19 (4) (2009)
Niklas Sörensson, Armin Biere
Minimizing Learned Clauses. SAT (2009)
Niklas Eén, Alan Mishchenko, Niklas Sörensson
Applying Logic Synthesis for Speeding Up SAT. SAT (2007)
Niklas Eén, Niklas Sörensson
Translating Pseudo-Boolean Constraints into SAT. J. Satisf. Boolean Model. Comput. 2 (1-4) (2006)
Niklas Eén, Niklas Sörensson
An Extensible SAT-solver. SAT (2003)
Niklas Eén, Niklas Sörensson
Temporal induction by incremental SAT solving. Electron. Notes Theor. Comput. Sci. 89 (4) (2003)
Reiner Hähnle, Niklas Sörensson
Fair Constraint Merging Tableaux in Lazy Functional Programming Style. TABLEAUX (2003)