Bounded-Depth Frege Complexity of Tseitin Formulas for All Graphs.

Nicola Galesi Dmitry Itsykson Artur Riazanov Anastasia Sofronova

Published in: MFCS (2019)

Keyphrases

semidefinite
bounded treewidth
feature selection