Reachability Analysis with QBF

  • Armin Biere

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Original languageEnglish
Title of host publication6th International Workshop on Designing Correct Circuits (DCC 2006)
Editors Mary Sheeran und Tom Melham
Pages32-43
Number of pages12
Publication statusPublished - 2006

Fields of science

  • 102 Computer Sciences

Cite this