On the parallel parameterized complexity of MaxSAT variants

DOI10.1613/jair.1.14748zbMath1543.68144MaRDI QIDQ6535422

Till Tantau, Max Bannach, Malte Skambath

Publication date: 20 December 2023

Published in: The Journal of Artificial Intelligence Research (JAIR) (Search for Journal in Brave)

zbMATH Keywords

satisfiabilityconstraint satisfactionmathematical foundations

Mathematics Subject Classification ID

Parameterized complexity, tractability and kernelization (68Q27) Computational aspects of satisfiability (68R07)

This page was built for publication: On the parallel parameterized complexity of MaxSAT variants