conftrace_

branching algorithm

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

weighted counting (1) path decomposition (1) synonym detection (1) exponential time algorithm (1) maximum satisfiability (1) counting problem (1) semantic relation (1) graph algorithm (1) optimization algorithm (1) exact algorithm (1)

Papers

New Algorithms for #2-SAT and #3-SAT IJCAI 2025 Resolution and Domination: An Improved Exact MaxSAT Algorithm IJCAI 2019 Comparing Constraints for Taxonomic Organization NAACL 2018