Conference In: dblp

UpMax: User Partitioning for MaxSAT.

SAT

Pedro Orvalho; Vasco M. Manquinho; Ruben Martins — 2023

Key information

Authors:

Pedro Orvalho (Pedro Orvalho); Vasco M. Manquinho (Vasco Miguel Gomes Nunes Manquinho); Ruben Martins (Rúben Carlos Gonçalves Martins)

Published in

2023

Publication details

Authors in the community:

Title of the publication container

SAT

First page or article number

19:1

Last page

19:13

Fields of Science and Technology (FOS)

computer-and-information-sciences - Computer and information sciences

Publication language (ISO code)

eng - English

Rights type:

Only metadata available