Siert Wieringa
Siert Wieringa
Zugehörigkeit unbekannt
Bestätigte E-Mail-Adresse bei siert.nl - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Cube and conquer: Guiding CDCL SAT solvers by lookaheads
MJH Heule, O Kullmann, S Wieringa, A Biere
Haifa Verification Conference, 50-65, 2011
1402011
Cube and conquer: Guiding CDCL SAT solvers by lookaheads
MJH Heule, O Kullmann, S Wieringa, A Biere
Haifa Verification Conference, 50-65, 2011
1402011
Finding guaranteed MUSes fast
H Van Maaren, S Wieringa
International Conference on Theory and Applications of Satisfiability …, 2008
452008
AIGER 1.9 and beyond
A Biere, K Heljanko, S Wieringa
Available at fmv. jku. at/hwmcc11/beyond1. pdf, 2011
442011
Tarmo: A framework for parallelized bounded model checking
S Wieringa, M Niemenmaa, K Heljanko
arXiv preprint arXiv:0912.2552, 2009
242009
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
232016
Understanding, improving and parallelizing MUS finding using model rotation
S Wieringa
International Conference on Principles and Practice of Constraint …, 2012
222012
Concurrent clause strengthening
S Wieringa, K Heljanko
International Conference on Theory and Applications of Satisfiability …, 2013
192013
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
72013
AIGER (2011)
A Biere, K Heljanko, S Wieringa
7
On incremental satisfiability and bounded model checking
S Wieringa
Design and implementation of formal tools and systems, 46-54, 2011
52011
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
Research assignment
S Wieringa
2007
1. Clause sorting
S Wieringa, H van Maaren, M Heule
2007
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–18