Parallel Multivariate Meta-Theorems
From MaRDI portal
Publication:4634387
DOI10.4230/LIPIcs.IPEC.2016.4zbMath1398.68212OpenAlexW2594530162MaRDI QIDQ4634387
Publication date: 10 April 2018
Full work available at URL: https://doi.org/10.4230/LIPIcs.IPEC.2016.4
Analysis of algorithms and problem complexity (68Q25) Parallel algorithms in computer science (68W10) Specification and verification (program logics, model checking, etc.) (68Q60) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)
Related Items (4)
Computing Hitting Set Kernels By AC^0-Circuits ⋮ Unnamed Item ⋮ Computing hitting set kernels by \(\mathrm{AC}^0\)-circuits ⋮ On the Descriptive Complexity of Color Coding
This page was built for publication: Parallel Multivariate Meta-Theorems
