On the parallel parameterized complexity of MaxSAT variants
From MaRDI portal
Publication:6572033
DOI10.4230/LIPICS.SAT.2022.19MaRDI QIDQ6572033FDOQ6572033
Malte Skambath, Max Bannach, Till Tantau
Publication date: 12 July 2024
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Analysis of algorithms and problem complexity (68Q25) Computational aspects of satisfiability (68R07)
Cited In (1)
This page was built for publication: On the parallel parameterized complexity of MaxSAT variants
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6572033)
