IndiCon: Selecting SAT Encodings for Individual Pseudo-Boolean and Linear Integer Constraints.

Felix Ulrich-Oltean, Peter Nightingale, James Alfred Walker

Browse the full ICTAI paper archive.