Segui
Siert Wieringa
Siert Wieringa
Affiliazione sconosciuta
Email verificata su siert.nl - Home page
Titolo
Citata da
Citata da
Anno
Cube and conquer: Guiding CDCL SAT solvers by lookaheads
MJH Heule, O Kullmann, S Wieringa, A Biere
Haifa Verification Conference, 50-65, 2011
2102011
AIGER 1.9 and beyond
A Biere, K Heljanko, S Wieringa
1002011
Finding guaranteed MUSes fast
H Van Maaren, S Wieringa
International Conference on Theory and Applications of Satisfiability …, 2008
512008
Tarmo: A framework for parallelized bounded model checking
S Wieringa, M Niemenmaa, K Heljanko
arXiv preprint arXiv:0912.2552, 2009
312009
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
302016
Concurrent clause strengthening
S Wieringa, K Heljanko
Theory and Applications of Satisfiability Testing–SAT 2013: 16th …, 2013
302013
Understanding, improving and parallelizing MUS finding using model rotation
S Wieringa
International Conference on Principles and Practice of Constraint …, 2012
272012
Incremental satisfiability solving and its applications
S Wieringa
Aalto University, 2014
132014
Asynchronous multi-core incremental SAT solving
S Wieringa, K Heljanko
Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013
112013
On Incremental Satisfiability and Bounded Model Checking.
S Wieringa
DIFTS@ FMCAD, 2011
102011
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
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
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
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20