Publications by Siert Wieringa

2013

  • BOOKTITLE:
  • TACAS
  • SERIES:
  • Lecture Notes in Computer Science
  • VOLUME:
  • 7795
  • PAGES:
  • 139-153
  • [PUBURL]
  • BOOKTITLE:
  • SAT
  • SERIES:
  • Lecture Notes in Computer Science
  • VOLUME:
  • 7962
  • PAGES:
  • 116-132
  • [PUBURL]

2012

  • BOOKTITLE:
  • Principles and Practice of Constraint Programming (CP)
  • SERIES:
  • Lecture Notes in Computer Science
  • VOLUME:
  • 7514
  • PAGES:
  • 672-687
  • [PUBURL]

2011

  • AUTHORS:
  • Heule Marijn J.H.,
  • Kullmann Oliver,
  • Wieringa Siert,
  • Biere Armin
  • BOOKTITLE:
  • Haifa Verification Conference (HVC)
  • SERIES:
  • Lecture Notes in Computer Science
  • PAGES:
  • 50-56
  • [URL]
  • [PUBURL]
  • BOOKTITLE:
  • First International Workshop on Design and Implementation of Formal Tools and Systems (DIFTS11)
  • SERIES:
  • CEUR Workshop Proceedings
  • VOLUME:
  • 832
  • [URL]
  • [PUBURL]

2009

  • BOOKTITLE:
  • Proceedings of the 8th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC'09)
  • SERIES:
  • Electronic Proceedings in Theoretical Computer Science (EPTCS)
  • VOLUME:
  • 14
  • PAGES:
  • 62-76
  • [PUBURL]

2008

  • BOOKTITLE:
  • Theory and Applications of Satisfiability Testing (SAT)
  • SERIES:
  • Lecture Notes in Computer Science
  • VOLUME:
  • 4996
  • PAGES:
  • 291-304
  • [PUBURL]