publications
in reversed chronological order.
2025
- 28th International Conference on Theory and Applications of Satisfiability Testing, SAT 2025, August 12-15, 2025, Glasgow, ScotlandJul 2025
2024
2023
2022
2021
2020
- Preprocessing in Incomplete MaxSAT SolvingIn ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020), Jul 2020
2019
2018
- Solving Optimization Problems via Maximum Satisfiability: Encodings and Re-EncodingsUniversity of Helsinki, Finland, Jul 2018
2017
2016
2015
- Improving the Effectiveness of SAT-Based Preprocessing for MaxSATIn Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, Jul 2015
2014
- Learning Optimal Bounded Treewidth Bayesian Networks via Maximum SatisfiabilityIn Proceedings of the Seventeenth International Conference on Artificial Intelligence and Statistics, AISTATS 2014, Reykjavik, Iceland, April 22-25, 2014, Jul 2014