conftrace_

minimal correction subset

3 papers

Explore in graph

Also known as

MCS

Co-occurring keywords

multi-objective optimization (364) constraint satisfaction (294) combinatorial optimization (1039) constraint-based algorithm (13) boolean formula (17) enumeration algorithm (5) model rotation (2) maximal satisfiable subset (2) stratification technique (1) constraint programming (95)

Papers

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