| Original language | American English |
|---|---|
| DOIs | |
| State | Published - 2023 |
Proving Unsatisfiability with Hitting Formulas
Yuval Filmus, Edward A. Hirsch, Artur Riazanov, Alexander Smal, Marc Vinyals
Research output: Book/Report › Report
Yuval Filmus, Edward A. Hirsch, Artur Riazanov, Alexander Smal, Marc Vinyals
Research output: Book/Report › Report
| Original language | American English |
|---|---|
| DOIs | |
| State | Published - 2023 |