Ion Mikel Liberal
Ion Mikel Liberal
Affiliation: IIIA-CSIC
Pages in this Program
Cardinality Constraints are Hard for Resolution
Beyond Core-Guided MaxSAT
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑