Descriptive Complexity of Linear Equation Systems and Applications to Propositional Proof Complexity
Proceedings of 32th Annual ACM/IEEE Symposium on Logic in Computer Science. 2017
Erscheinungsjahr: 2017
Publikationstyp: Zeitschriftenaufsatz
Sprache: Englisch
| Geprüft: | Bibliothek |
Klassifikation
DDC Sachgruppe:
Informatik
