SAT 2023: 26TH INTERNATIONAL CONFERENCE ON THEORY AND APPLICATIONS OF SATISFIABILITY TESTING
SLIDES

Learning Shorter Redundant Clauses in SDCL Using MaxSAT

Albert Oliveras, Chunxiao Li, Darryl Wu, Jonathan Chung and Vijay Ganesh

LS-DTKMS: a Local Search Algorithm for Diversified Top-K MaxSAT Problem

Junping Zhou, Jiaxin Liang, Minghao Yin and Bo He
Total: 2 presentations.