Lecture
Boolean optimization through SAT oracles
— 2023
Key information
Authors:
Published in
November 2023
Abstract
Sumário do seminário/lição apresentado para provas de agregação em Engenharia Informática e de Computadores
Publication details
Authors in the community:
Fields of Science and Technology (FOS)
computer-and-information-sciences - Computer and information sciences
Keywords
- Prova de Agregação
- Habilitation
- Engenharia Informática e de Computadores
- Computer Science and Engineering
Publication language (ISO code)
eng - English
Related identifier type
IsSupplementedBy - indicates that the linked publication is a supplement to the publication
Rights type:
Open access