Boolean Satisfiability. Creating Solvers Optimized for Specific Problem Instances.

Peixin Zhong, Margaret Rose Martonosi, Sharad Malik

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

Fingerprint

Dive into the research topics of 'Boolean Satisfiability. Creating Solvers Optimized for Specific Problem Instances.'. Together they form a unique fingerprint.

Engineering & Materials Science