Unsatisfiability-based algorithms for multi-objective combinatorial optimization

DOI10.1007/S10817-026-09749-WMaRDI QIDQ6834473zbMATH OpenFDO

Authors João Cortes, Inês Lynce, Vasco Manquinho

Publication date 31 March 2026

Published in Journal of Automated Reasoning (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

hitting setsmulti-objective combinatorial optimizationunsatisfiability algorithms

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Unsatisfiability-based 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 Q6834473)