Unsatisfiability-based Algorithms for Multi-Objective Combinatorial Optimization | Synapse