Learning Shorter Redundant Clauses in SDCL Using MaxSAT.

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

Browse the full SAT paper archive.