default search action
BibTeX records: Siert Wieringa
@article{DBLP:journals/jcss/DolevHJKLRSW16, author = {Danny Dolev and Keijo Heljanko and Matti J{\"{a}}rvisalo and Janne H. Korhonen and Christoph Lenzen and Joel Rybicki and Jukka Suomela and Siert Wieringa}, title = {Synchronous counting and computational algorithm design}, journal = {J. Comput. Syst. Sci.}, volume = {82}, number = {2}, pages = {310--332}, year = {2016}, url = {https://doi.org/10.1016/j.jcss.2015.09.002}, doi = {10.1016/J.JCSS.2015.09.002}, timestamp = {Thu, 24 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/DolevHJKLRSW16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/WieringaH13, author = {Siert Wieringa and Keijo Heljanko}, editor = {Matti J{\"{a}}rvisalo and Allen Van Gelder}, title = {Concurrent Clause Strengthening}, booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2013 - 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7962}, pages = {116--132}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-39071-5\_10}, doi = {10.1007/978-3-642-39071-5\_10}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/sat/WieringaH13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/WieringaH13, author = {Siert Wieringa and Keijo Heljanko}, editor = {Nir Piterman and Scott A. Smolka}, title = {Asynchronous Multi-core Incremental {SAT} Solving}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, {TACAS} 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2013, Rome, Italy, March 16-24, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7795}, pages = {139--153}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-36742-7\_10}, doi = {10.1007/978-3-642-36742-7\_10}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/tacas/WieringaH13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/Wieringa13, author = {Siert Wieringa}, title = {Some notes on model rotation}, journal = {CoRR}, volume = {abs/1308.2142}, year = {2013}, url = {http://arxiv.org/abs/1308.2142}, eprinttype = {arXiv}, eprint = {1308.2142}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Wieringa13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Wieringa12, author = {Siert Wieringa}, editor = {Michela Milano}, title = {Understanding, Improving and Parallelizing {MUS} Finding Using Model Rotation}, booktitle = {Principles and Practice of Constraint Programming - 18th International Conference, {CP} 2012, Qu{\'{e}}bec City, QC, Canada, October 8-12, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7514}, pages = {672--687}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33558-7\_49}, doi = {10.1007/978-3-642-33558-7\_49}, timestamp = {Tue, 14 May 2019 10:00:45 +0200}, biburl = {https://dblp.org/rec/conf/cp/Wieringa12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmcad/Wieringa11, author = {Siert Wieringa}, editor = {Malay K. Ganai and Armin Biere}, title = {On Incremental Satisfiability and Bounded Model Checking}, booktitle = {Proceedings of the First International Workshop on Design and Implementation of Formal Tools and Systems, Austin, USA, November 3, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {832}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-832/paper\_4.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:13 +0100}, biburl = {https://dblp.org/rec/conf/fmcad/Wieringa11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hvc/HeuleKWB11, author = {Marijn Heule and Oliver Kullmann and Siert Wieringa and Armin Biere}, editor = {Kerstin Eder and Jo{\~{a}}o Louren{\c{c}}o and Onn Shehory}, title = {Cube and Conquer: Guiding {CDCL} {SAT} Solvers by Lookaheads}, booktitle = {Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, {HVC} 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7261}, pages = {50--65}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-34188-5\_8}, doi = {10.1007/978-3-642-34188-5\_8}, timestamp = {Fri, 27 Mar 2020 08:58:09 +0100}, biburl = {https://dblp.org/rec/conf/hvc/HeuleKWB11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-0912-2552, author = {Siert Wieringa and Matti Niemenmaa and Keijo Heljanko}, editor = {Lubos Brim and Jaco van de Pol}, title = {Tarmo: {A} Framework for Parallelized Bounded Model Checking}, booktitle = {Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation, {PDMC} 2009, Eindhoven, The Netherlands, 4th November 2009}, series = {{EPTCS}}, volume = {14}, pages = {62--76}, year = {2009}, url = {https://doi.org/10.4204/EPTCS.14.5}, doi = {10.4204/EPTCS.14.5}, timestamp = {Wed, 12 Sep 2018 01:05:13 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0912-2552.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/MaarenW08, author = {Hans van Maaren and Siert Wieringa}, editor = {Hans Kleine B{\"{u}}ning and Xishun Zhao}, title = {Finding Guaranteed MUSes Fast}, booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2008, 11th International Conference, {SAT} 2008, Guangzhou, China, May 12-15, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4996}, pages = {291--304}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-79719-7\_27}, doi = {10.1007/978-3-540-79719-7\_27}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/sat/MaarenW08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.