On the parallel parameterized complexity of MaxSAT variants
From MaRDI portal
Publication:6572033
DOI10.4230/lipics.sat.2022.19MaRDI QIDQ6572033
Malte Skambath, Max Bannach, Till Tantau
Publication date: 12 July 2024
Analysis of algorithms and problem complexity (68Q25) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Computational aspects of satisfiability (68R07)
This page was built for publication: On the parallel parameterized complexity of MaxSAT variants
