Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1505.02405
Cited By
Exploiting Resolution-based Representations for MaxSAT Solving
10 May 2015
M. Neves
Ruben Martins
Mikoláš Janota
I. Lynce
Vasco M. Manquinho
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Exploiting Resolution-based Representations for MaxSAT Solving"
1 / 1 papers shown
Title
UpMax: User partitioning for MaxSAT
Pedro Orvalho
Vasco M. Manquinho
Ruben Martins
37
0
0
25 May 2023
1
