Olaf Beyersdorff
| Use attributes for filter ! | |
| Books | Non-classical Aspects in Proof Complexity |
|---|---|
| H index | 23 |
| Affiliations | Friedrich Schiller University Jena |
| Interests | Proof Complexity |
| Computational Complexity | |
| Computational Logic | |
| Satisfiability | |
| QBF | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 4247623 |
About Olaf Beyersdorff
Olaf Beyersdorff Photos
