Carles Mateu Piñol
Carles Mateu Piñol
Affiliation: University of Lleida
Pages in this Program
Hermax: A Unified MaxSAT library
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑