conftrace_

worst-case complexity

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

maximum satisfiability (1) exponential algorithm (1) exact algorithm (1) combinatorial optimization (1)

Papers

Improved Algorithms for Maximum Satisfiability and Its Special Cases AAAI 2023