SAT-Based Leximax Optimisation Algorithms.

Miguel Cabral Mikolás Janota Vasco M. Manquinho

Published in: SAT (2022)

Keyphrases

learning algorithm
computational complexity
theoretical analysis
computational efficiency
times faster
multi objective
worst case
orders of magnitude
heuristic search
combinatorial optimization
graph theory
genetic algorithm
data structure