The Symmetry Rule for Quantified Boolean Formulas

Aktivität: Vortrag oder Präsentation › Vortrag nach Bewerbung und Auswahl › Science-to-science

Beschreibung

We extend QBF resolution with a rule for exploiting symmetries and analyze the impact on the power of the new proof system.

Zeitraum	08 Juli 2018
Ereignistitel	International Workshop on Proof Complexity
Veranstaltungstyp	Konferenz
Ort	Großbritannien/Vereinigtes KönigreichAuf Karte anzeigen