SAT-based leximax optimisation algorithms
From MaRDI portal
Publication:6572047
DOI10.4230/LIPICS.SAT.2022.29MaRDI QIDQ6572047FDOQ6572047
Mikoláš Janota, Miguel Cabral, Vasco Manquinho
Publication date: 12 July 2024
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Analysis of algorithms and problem complexity (68Q25) Computational aspects of satisfiability (68R07)
This page was built for publication: SAT-based leximax optimisation algorithms
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6572047)
