conftrace_

clause satisfaction

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

maxsat problem (1) above guarantee (1) runtime analysis (1) parameterized algorithm (1)

Papers

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