Michal Karpinski, Marek Piotrów. Competitive Sorter-based Encoding of PB-Constraints into SAT. In Daniel Le Berre, Matti Järvisalo, editors, Proceedings of Pragmatics of SAT 2015, Austin, Texas, USA, September 23, 2015 / Pragmatics of SAT 2018, Oxford, UK, July 7, 2018. Volume 59 of EPiC Series in Computing, pages 65-78, EasyChair, 2018. [doi]
Abstract is missing.