Search dblp for Publications

export results for "Parameterized Proof Complexity0X0.05608FAB605ECP-1022 a Complexity Gap for Parameterized Tree-like Resolution"

 download as .bib file

a service of  Schloss Dagstuhl - Leibniz Center for Informatics