Skip to main navigation Skip to search Skip to main content

Efficient distributed SAT and SAT-based distributed bounded model checking

  • Malay K. Ganai
  • , Aarti Gupta
  • , Zijiang Yang
  • , Pranav Ashar

Research output: Chapter in Book/Report/Conference proceeding › Chapter

9   Link opens in a new tab Scopus citations

Fingerprint

Dive into the research topics of 'Efficient distributed SAT and SAT-based distributed bounded model checking'. Together they form a unique fingerprint.
Sort by

Keyphrases

Computer Science