| Cube and conquer: Guiding CDCL SAT solvers by lookaheads MJH Heule, O Kullmann, S Wieringa, A Biere Haifa Verification Conference, 50-65, 2011 | 239 | 2011 |
| AIGER 1.9 and beyond A Biere, K Heljanko, S Wieringa | 115 | 2011 |
| Finding guaranteed MUSes fast H Van Maaren, S Wieringa International Conference on Theory and Applications of Satisfiability …, 2008 | 51 | 2008 |
| Tarmo: A framework for parallelized bounded model checking S Wieringa, M Niemenmaa, K Heljanko arXiv preprint arXiv:0912.2552, 2009 | 35 | 2009 |
| Synchronous counting and computational algorithm design D Dolev, K Heljanko, M Järvisalo, JH Korhonen, C Lenzen, J Rybicki, ... Journal of Computer and System Sciences 82 (2), 310-332, 2016 | 31 | 2016 |
| Concurrent clause strengthening S Wieringa, K Heljanko Theory and Applications of Satisfiability Testing–SAT 2013: 16th …, 2013 | 31 | 2013 |
| Understanding, improving and parallelizing MUS finding using model rotation S Wieringa International Conference on Principles and Practice of Constraint …, 2012 | 29 | 2012 |
| Incremental satisfiability solving and its applications S Wieringa Aalto University, 2014 | 13 | 2014 |
| On Incremental Satisfiability and Bounded Model Checking. S Wieringa DIFTS@ FMCAD, 2011 | 13 | 2011 |
| Asynchronous multi-core incremental SAT solving S Wieringa, K Heljanko Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013 | 10 | 2013 |
| AIGER, 2011 A Biere, K Heljanko, S Wieringa | 7 | |
| The first steps to a hybrid SAT solver D Mpekas, M van Vlaardingen, S Wieringa Delft University of Technology, 2006 | 5 | 2006 |
| Aiger 1.9 and beyond (2011) A Biere, K Heljanko, S Wieringa Available at fmv. jku. at/hwmcc11/beyond1. pdf, 0 | 5 | |
| HWMCC’13 A Biere, K Heljanko, M Seidl, S Wieringa sat 32, 45, 2013 | 1 | 2013 |
| Finding cores using a Brouwer’s fixed point approximation algorithm S Wieringa Master’s thesis, Delft University of Technology, Faculty of EWI, 2007 | 1 | 2007 |
| Some notes on model rotation S Wieringa arXiv preprint arXiv:1308.2142, 2013 | | 2013 |
| Cube and conquer: Guiding CDCL SAT solvers by lookaheads MJH Heule, O Kullmann, S Wieringa, A Biere Hardware and Software: Verification and Testing: 7th International Haifa …, 2012 | | 2012 |
| Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads O Kullmann, S Wieringa, A Biere Springer, 2011 | | 2011 |
| Research assignment S Wieringa | | 2007 |
| 1. Clause sorting S Wieringa, H van Maaren, M Heule | | 2007 |
