BibTeX records: Siert Wieringa

• > Home > Persons > 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}
}