FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Proof complexity of CSP

Author: Azza Gaysin

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:Proof complexity of CSP
Authors:Azza Gaysin
Proceedings:PC 2022 Program papers
Editors: Marc Vinyals, Olaf Beyersdorff and Jan Johannsen
Keywords:Constraint satisfaction problems, Bounded arithmetic, Proof complexity
Pages:1
Talk:Jul 31 14:30 (Session 14K)
Paper: