Ion Mikel
Liberal
PhD Student
Logic and Reasoning
Research areas:
- Combinatorial Optimisation
Impact areas:
- Transport / Automotive
SDGs:
- GOAL 09: Industry, Innovation & Infrastructure
2026
Ilario Bonacina,
Jordi Levy,
& Ion Mikel Liberal
(2026).
Beyond Core-Guided MaxSAT.
Alexey Ignatiev, & Stefan Szeider (Eds.),
29th International Conference on Theory and Applications of Satisfiability Testing, SAT 2026
(pp. 9:1--9:18).
Schloss Dagstuhl -- Leibniz-Zentrum für Informatik.
https://doi.org/10.4230/LIPIcs.SAT.2026.9.
[BibTeX]
[PDF]