Conference In: dblp

SAT-Based Leximax Optimisation Algorithms.

SAT

Miguel Cabral; Mikolás Janota; Vasco M. Manquinho — 2022

Key information

Authors:

Miguel Cabral; Mikolás Janota; Vasco M. Manquinho (Vasco Miguel Gomes Nunes Manquinho)

Published in

2022

Publication details

Authors in the community:

Title of the publication container

SAT

First page or article number

29:1

Last page

29:19

Fields of Science and Technology (FOS)

electrical-engineering-electronic-engineering-information-engineering - Electrical engineering, electronic engineering, information engineering

Publication language (ISO code)

eng - English

Rights type:

Only metadata available