Satisfiability certificates verifiable in subexponential time
- Evgeny Dantsin
- , Edward A. Hirsch
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
3
Scopus
citations