Follow
Siert Wieringa
Siert Wieringa
Unknown affiliation
Verified email at siert.nl - Homepage
Title
Cited by
Cited by
Year
Cube and conquer: Guiding CDCL SAT solvers by lookaheads
MJH Heule, O Kullmann, S Wieringa, A Biere
Haifa Verification Conference, 50-65, 2011
1632011
Cube and conquer: Guiding CDCL SAT solvers by lookaheads
MJH Heule, O Kullmann, S Wieringa, A Biere
Haifa Verification Conference, 50-65, 2011
1632011
AIGER 1.9 and beyond
A Biere, K Heljanko, S Wieringa
662011
Finding guaranteed MUSes fast
H Maaren, S Wieringa
International Conference on Theory and Applications of Satisfiability …, 2008
482008
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
292016
Understanding, improving and parallelizing MUS finding using model rotation
S Wieringa
International Conference on Principles and Practice of Constraint …, 2012
262012
Tarmo: A framework for parallelized bounded model checking
S Wieringa, M Niemenmaa, K Heljanko
arXiv preprint arXiv:0912.2552, 2009
252009
Concurrent clause strengthening
S Wieringa, K Heljanko
International Conference on Theory and Applications of Satisfiability …, 2013
242013
Incremental satisfiability solving and its applications
S Wieringa
Aalto University, 2014
122014
Asynchronous multi-core incremental SAT solving
S Wieringa, K Heljanko
International Conference on Tools and Algorithms for the Construction and …, 2013
92013
On incremental satisfiability and bounded model checking
S Wieringa
Design and implementation of formal tools and systems, 46-54, 2011
72011
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
52006
HWMCC’13
A Biere, K Heljanko, M Seidl, S Wieringa
sat 32, 45, 2013
12013
Finding cores using a Brouwer’s fixed point approximation algorithm
S Wieringa
Master’s thesis, Delft University of Technology, Faculty of EWI, 2007
12007
Some notes on model rotation
S Wieringa
arXiv preprint arXiv:1308.2142, 2013
2013
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
The system can't perform the operation now. Try again later.
Articles 1–19