Algebraic Proof Complexity: Progress, Frontiers and Challenges

Research output: Chapter in Book/Report/Conference proceeding › Other contribution

Keywords

@inbook{5f3bd08270904076be82a181353a891d,

title = "Algebraic Proof Complexity: Progress, Frontiers and Challenges",

keywords = "computational complexity, logic",

author = "Tonnian Pitassi and Iddo Tzameret",

year = "2016",

month = jul,

day = "8",

language = "English",

volume = "3",

pages = "21--43",

editor = "Neil Immerman",

booktitle = "ACM SIGLOG News",

publisher = "ACM",

}