Asynchronous Multi-core Incremental SAT Solving

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review


  • Siert Wieringa
  • Keijo Heljanko

Research units


Original languageEnglish
Title of host publication19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), March 16-24, Rome, Italy
Publication statusPublished - 2013
MoE publication typeA4 Article in a conference publication

ID: 645417