New core-guided and hitting set algorithms for multi-objective combinatorial optimization
From MaRDI portal
Publication:6536121
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Multi-objective and goal programming (90C29) Approximation methods and heuristics in mathematical programming (90C59) Combinatorial optimization (90C27) Boolean programming (90C09) Computational aspects of satisfiability (68R07)
Recommendations
- Boolean lexicographic optimization: algorithms \& applications
- Exact and approximate determination of the Pareto front using minimal correction subsets
- Improving Unsatisfiability-Based Algorithms for Boolean Optimization
- scientific article; zbMATH DE number 2159075
- MOSA method: a tool for solving multiobjective combinatorial optimization problems
Cites work
- Algorithms for Weighted Boolean Optimization
- Approximating the Pareto front of multi-criteria optimization problems
- Boolean lexicographic optimization: algorithms \& applications
- Efficient CNF encoding of Boolean cardinality constraints
- Encoding cardinality constraints using multiway merge selection networks
- Exact hypervolume subset selection through incremental computations
- Incremental encoding of pseudo-Boolean goal functions based on comparator networks
- Introducing Pareto minimal correction subsets
- MaxSAT-based bi-objective Boolean optimization
- PackUp: tools for package upgradability solving
- Solving (Weighted) Partial MaxSAT through Satisfiability Testing
Cited in
(1)
This page was built for publication: New core-guided and hitting set algorithms for multi-objective combinatorial optimization
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6536121)
