Siert Wieringa

According to our database, Siert Wieringa authored at least 9 papers between 2008 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2016

Synchronous counting and computational algorithm design.

Danny Dolev, Keijo Heljanko, Matti Järvisalo, Janne H. Korhonen, Christoph Lenzen, Joel Rybicki, Jukka Suomela, Siert Wieringa

J. Comput. Syst. Sci., 2016

2013

Some notes on model rotation.

Siert Wieringa

CoRR, 2013

Asynchronous Multi-core Incremental SAT Solving.

Siert Wieringa, Keijo Heljanko

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Concurrent Clause Strengthening.

Siert Wieringa, Keijo Heljanko

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2013, 2013

2012

Understanding, Improving and Parallelizing MUS Finding Using Model Rotation.

Siert Wieringa

Proceedings of the Principles and Practice of Constraint Programming, 2012

2011

Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads.

Marijn Heule, Oliver Kullmann, Siert Wieringa, Armin Biere

Proceedings of the Hardware and Software: Verification and Testing, 2011

On Incremental Satisfiability and Bounded Model Checking.

Siert Wieringa

Proceedings of the First International Workshop on Design and Implementation of Formal Tools and Systems, 2011

2009

Tarmo: A Framework for Parallelized Bounded Model Checking

Siert Wieringa, Matti Niemenmaa, Keijo Heljanko

Proceedings of the Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation, 2009

2008

Finding Guaranteed MUSes Fast.

Hans van Maaren, Siert Wieringa

Proceedings of the Theory and Applications of Satisfiability Testing, 2008