On the Parallel Parameterized Complexity of MaxSAT Variants

Max Bannach, Malte Skambath, Till Tantau. On the Parallel Parameterized Complexity of MaxSAT Variants. J. Artif. Intell. Res. (JAIR), 78, 2023. [doi]

Abstract

Abstract is missing.