Descriptive Complexity of Linear Equation Systems and Applications to Propositional Proof Complexity

(2017) [Beitrag zu einem Tagungsband]

[32th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, 2017-06-20 - 2017-06-23, Reykjavik, Iceland]

Authors

Selected Authors

Grohe, Martin
Pakusa, Wied

Identifier

  • REPORT NUMBER: RWTH-CONV-213416