| Original language | English |
|---|---|
| DOIs | |
| State | Published - 2023 |
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver
Proving Unsatisfiability with Hitting Formulas
- Yuval Filmus
- , Edward A. Hirsch
- , Artur Riazanov
- , Alexander Smal
- , Marc Vinyals
Research output: Book/Report › Report