Research output per year
Research output per year
Search results
-
2024
Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability
Berg, J., Bogaerts, B., Nordström, J., Oertel, A., Paxian, T. & Vandesande, D., 2024, Constraint Programming - CP 30 - 30th International Conference on Principles and Practice of Constraint Programming, Proceedings. Shaw, P. (ed.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 1-28 28 p. (Leibniz International Proceedings in Informatics; vol. 307).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › Research
Open AccessFile1 Downloads (Pure) -
2023
Certified Core-Guided MaxSAT Solving
Berg, J., Bogaerts, B., Nordström, J., Oertel, A. & Vandesande, D., 2023, Automated Deduction – CADE 29 - 29th International Conference on Automated Deduction, Proceedings. Pientka, B. & Tinelli, C. (eds.). Springer, p. 1-22 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14132 LNAI).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › Research
Open AccessFile12 Citations (Scopus)48 Downloads (Pure) -
Towards Certified MaxSAT Solving
Vandesande, D., 9 Nov 2023, (Unpublished). 1 p.Research output: Unpublished contribution to conference › Poster
File -
2022
QMaxSATpb: A Certified MaxSAT Solver
Vandesande, D., De Wulf, W. & Bogaerts, B., 2022, Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings. Gottlob, G., Inclezan, D. & Maratea, M. (eds.). Springer, Vol. 13416. p. 429-442 14 p. (Lecture Notes in Computer Science; vol. 13416).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › Research
Open AccessFile8 Citations (Scopus)136 Downloads (Pure)