Tags

Proof Complexity
Sep 1, 2022
Quantified Boolean Formulas
Sep 1, 2022
Size-Width Tradeoff
Sep 1, 2022
Generalized Coloring Numbers
Jan 1, 2022
K-Median Clustering
Jan 1, 2022
Kernelization
Jan 1, 2022
Lossy Kernels
Jan 1, 2022
Parameterized Approximation
Jan 1, 2022
QBF
Jan 1, 2022
Twin-Width
Jan 1, 2022