Asynchronous Multi-core Incremental SAT Solving

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

Researchers

Research units

Details

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