FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
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: