conftrace_

minimal correction subset

3 papers

Explore in graph

Also known as

MCS

Co-occurring keywords · papers mentioning both

multi-objective optimization (2) constraint satisfaction (2) combinatorial optimization (2) constraint-based algorithm (1) boolean formula (1) enumeration algorithm (1) model rotation (1) maximal satisfiable subset (1) stratification technique (1) constraint programming (1)

Papers

Boosting MCSes Enumeration IJCAI 2018 Multi-Objective Optimization Through Pareto Minimal Correction Subsets IJCAI 2018 Stratification for Constraint-Based Multi-Objective Combinatorial Optimization IJCAI 2018