C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
On the Parallel Parameterized Complexity of MaxSAT Variants.
Max Bannach
Malte Skambath
Till Tantau
Published in:
J. Artif. Intell. Res. (2023)
Keyphrases
</>
parameterized complexity
combinatorial optimization
upper bound
branch and bound algorithm
fixed parameter tractable
database systems
special case
utility function