BibTeX records: Siert Wieringa

download as .bib file

@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 = {Wed, 14 Jun 2017 01:00:00 +0200},
  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},
  archivePrefix = {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       = {http://ceur-ws.org/Vol-832/paper\_4.pdf},
  timestamp = {Wed, 12 Feb 2020 16:44:28 +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}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics