Preprocessing in SAT-Based Multi-Objective Combinatorial Optimization.

Christoph Jabs, Jeremias Berg, Hannes Ihalainen, Matti Jrvisalo

Browse the full CP paper archive.