conftrace_

above guarantee

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

maxsat problem (1) clause satisfaction (1) runtime analysis (1) parameterized algorithm (1)

Papers

A Fast Algorithm for MaxSAT above Half Number of Clauses IJCAI 2024