Fingerprint
Dive into the research topics of 'Boolean Satisfiability. Creating Solvers Optimized for Specific Problem Instances.'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
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
1
Scopus
citations