Divide and Conquer: Towards Faster Pseudo-Boolean Solving.

Jan Elffers, Jakob Nordstrm

Browse the full IJCAI paper archive.