Solving Multi-objective Pseudo-Boolean Problems.

Martin Lukasiewycz, Michael Gla, Christian Haubelt, Jrgen Teich

Browse the full SAT paper archive.