Learning Shorter Redundant Clauses in SDCL Using MaxSAT. - Albert Oliveras; Chunxiao Li 002; Darryl Wu; Jonathan Chung 003; Vijay Ganesh 001 (SAT, 2023)