conftrace_

branching technique

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

reduction technique (1) exponential time algorithm (1) maximum satisfiability (1) exact algorithm (1) computational complexity (1)

Papers

An Exact MaxSAT Algorithm: Further Observations and Further Improvements IJCAI 2022