EasyChair Smart Slide
Learning Shorter Redundant Clauses in SDCL Using MaxSAT
Learning Shorter Redundant Clauses in SDCL Using MaxSAT