Fingerprint
Dive into the research topics of 'Algorithms for SAT based on search in hamming balls'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Algorithms for SAT based on search in hamming balls
Evgeny Dantsin, Edward A. Hirsch, Alexander Wolpert
Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
21
Scopus
citations