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/bib/journals/jcss/DolevHJKLRSW16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/WieringaH13,
  author    = {Siert Wieringa and
               Keijo Heljanko},
  title     = {Concurrent Clause Strengthening},
  booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2013 - 16th
               International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings},
  pages     = {116--132},
  year      = {2013},
  crossref  = {DBLP:conf/sat/2013},
  url       = {https://doi.org/10.1007/978-3-642-39071-5\_10},
  doi       = {10.1007/978-3-642-39071-5\_10},
  timestamp = {Thu, 15 Jun 2017 21:39:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sat/WieringaH13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/WieringaH13,
  author    = {Siert Wieringa and
               Keijo Heljanko},
  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},
  pages     = {139--153},
  year      = {2013},
  crossref  = {DBLP:conf/tacas/2013},
  url       = {https://doi.org/10.1007/978-3-642-36742-7\_10},
  doi       = {10.1007/978-3-642-36742-7\_10},
  timestamp = {Tue, 13 Jun 2017 11:34:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/WieringaH13},
  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/bib/journals/corr/Wieringa13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Wieringa12,
  author    = {Siert Wieringa},
  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},
  pages     = {672--687},
  year      = {2012},
  crossref  = {DBLP:conf/cp/2012},
  url       = {https://doi.org/10.1007/978-3-642-33558-7\_49},
  doi       = {10.1007/978-3-642-33558-7\_49},
  timestamp = {Wed, 17 May 2017 14:24:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/Wieringa12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/Wieringa11,
  author    = {Siert Wieringa},
  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},
  year      = {2011},
  crossref  = {DBLP:conf/fmcad/2011difts},
  url       = {http://ceur-ws.org/Vol-832/paper\_4.pdf},
  timestamp = {Mon, 30 May 2016 16:43:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/Wieringa11},
  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},
  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},
  pages     = {50--65},
  year      = {2011},
  crossref  = {DBLP:conf/hvc/2011},
  url       = {https://doi.org/10.1007/978-3-642-34188-5\_8},
  doi       = {10.1007/978-3-642-34188-5\_8},
  timestamp = {Fri, 19 May 2017 01:26:09 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hvc/HeuleKWB11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-0912-2552,
  author    = {Siert Wieringa and
               Matti Niemenmaa and
               Keijo Heljanko},
  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.},
  pages     = {62--76},
  year      = {2009},
  crossref  = {DBLP:journals/corr/abs-0912-3036},
  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/bib/journals/corr/abs-0912-2552},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/MaarenW08,
  author    = {Hans van Maaren and
               Siert Wieringa},
  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},
  pages     = {291--304},
  year      = {2008},
  crossref  = {DBLP:conf/sat/2008},
  url       = {https://doi.org/10.1007/978-3-540-79719-7\_27},
  doi       = {10.1007/978-3-540-79719-7\_27},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sat/MaarenW08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sat/2013,
  editor    = {Matti J{\"{a}}rvisalo and
               Allen Van Gelder},
  title     = {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},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-39071-5},
  doi       = {10.1007/978-3-642-39071-5},
  isbn      = {978-3-642-39070-8},
  timestamp = {Thu, 15 Jun 2017 21:39:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sat/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2013,
  editor    = {Nir Piterman and
               Scott A. Smolka},
  title     = {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},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-36742-7},
  doi       = {10.1007/978-3-642-36742-7},
  isbn      = {978-3-642-36741-0},
  timestamp = {Tue, 13 Jun 2017 11:34:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cp/2012,
  editor    = {Michela Milano},
  title     = {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},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-33558-7},
  doi       = {10.1007/978-3-642-33558-7},
  isbn      = {978-3-642-33557-0},
  timestamp = {Wed, 17 May 2017 14:24:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmcad/2011difts,
  editor    = {Malay K. Ganai and
               Armin Biere},
  title     = {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      = {2012},
  url       = {http://ceur-ws.org/Vol-832},
  urn       = {urn:nbn:de:0074-832-4},
  timestamp = {Mon, 30 May 2016 16:43:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/2011difts},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hvc/2011,
  editor    = {Kerstin Eder and
               Jo{\~{a}}o Louren{\c{c}}o and
               Onn Shehory},
  title     = {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},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-34188-5},
  doi       = {10.1007/978-3-642-34188-5},
  isbn      = {978-3-642-34187-8},
  timestamp = {Fri, 19 May 2017 01:26:09 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hvc/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-0912-3036,
  editor    = {Lubos Brim and
               Jaco van de Pol},
  title     = {Proceedings 8th International Workshop on Parallel and Distributed
               Methods in verifiCation, {PDMC} 2009, Eindhoven, The Netherlands,
               4th November 2009},
  series    = {{EPTCS}},
  volume    = {14},
  year      = {2009},
  url       = {https://doi.org/10.4204/EPTCS.14},
  doi       = {10.4204/EPTCS.14},
  timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-0912-3036},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sat/2008,
  editor    = {Hans Kleine B{\"{u}}ning and
               Xishun Zhao},
  title     = {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},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-79719-7},
  doi       = {10.1007/978-3-540-79719-7},
  isbn      = {978-3-540-79718-0},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sat/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier