EasyChair Smart Slide
Competitive Sorter-based Encoding of PB-Constraints into SAT
Competitive Sorter-based Encoding of PB-Constraints into SAT