Finding Guaranteed MUSes Fast. - Hans van Maaren; Siert Wieringa (SAT, 2008)

Tarmo: A Framework for Parallelized Bounded Model Checking - Siert Wieringa; Matti Niemenmaa; Keijo Heljanko (PDMC, 2009)

On Incremental Satisfiability and Bounded Model Checking. - Siert Wieringa (DIFTS@FMCAD, 2011)

Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads. - Marijn Heule; Oliver Kullmann; Siert Wieringa; Armin Biere (Haifa Verification Conference, 2011)

Understanding, Improving and Parallelizing MUS Finding Using Model Rotation. - Siert Wieringa (CP, 2012)

Concurrent Clause Strengthening. - Siert Wieringa; Keijo Heljanko (SAT, 2013)

Asynchronous Multi-core Incremental SAT Solving. - Siert Wieringa; Keijo Heljanko (TACAS, 2013)

Some notes on model rotation. - Siert Wieringa (CoRR, 2013)

Synchronous counting and computational algorithm design. - Danny Dolev; Keijo Heljanko; Matti Järvisalo; Janne H. Korhonen; Christoph Lenzen 001; Joel Rybicki; Jukka Suomela; Siert Wieringa (J. Comput. Syst. Sci., 2016)