activity
20152022
most citedAlgorithmic Aspects of Upper Domination

1 citations · 1 across the 2 of their papers we have counts for

collaborators
Showing cs.AIShow all

1 paper · 1 filter

cs.AI2022

Exact and approximate determination of the Pareto set using minimal correction subsets

Andreia P. Guerreiro, João Cortes, Daniel Vanderpooten +4

Recently, it has been shown that the enumeration of Minimal Correction Subsets (MCS) of Boolean formulas allows solving Multi-Objective Boolean Optimization (MOBO) formulations. Ho…