A Cardinal Improvement to Pseudo-Boolean Solving.

Jan Elffers, Jakob Nordstrm

Browse the full AAAI paper archive.