Are Hitting Formulas Hard for Resolution?
Authors: Tomáš Peitl and Stefan Szeider
Paper Information
| Title: | Are Hitting Formulas Hard for Resolution? |
| Authors: | Tomáš Peitl and Stefan Szeider |
| Proceedings: | PC 2022 Program papers |
| Editors: | Marc Vinyals, Olaf Beyersdorff and Jan Johannsen |
| Keywords: | resolution complexity, hitting formulas, symmetries, enumeration, SAT encodings |
| Pages: | 4 |
| Talk: | Aug 01 15:00 (Session 34I) |
| Paper: |  |