Proof Complexity Meets Algebra - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles ACM Transactions on Computational Logic Year : 2019

Dates and versions

hal-02497062 , version 1 (03-03-2020)

Identifiers

Cite

Albert Atserias, Joanna Ochremiak. Proof Complexity Meets Algebra. ACM Transactions on Computational Logic, 2019, 20 (1), pp.1-46. ⟨10.1145/3265985⟩. ⟨hal-02497062⟩

Collections

CNRS
12 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More