Incremental Encoding of Pseudo-Boolean Goal Functions Based on Comparator Networks.

Michal Karpinski, Marek Piotrw

Browse the full SAT paper archive.