Resolution and the Binary Encoding of Combinatorial Principles - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Stefan S. Dantchev, Nicola Galesi, Barnaby Martin. Resolution and the Binary Encoding of Combinatorial Principles. In Amir Shpilka, editor, 34th Computational Complexity Conference, CCC 2019, July 18-20, 2019, New Brunswick, NJ, USA. Volume 137 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2019. [doi]

This author has not been identified. Look up 'Stefan S. Dantchev' in GoogleThis author has not been identified. Look up 'Nicola Galesi' in GoogleThis author has not been identified. Look up 'Barnaby Martin' in Google

runs on WebDSL