Projecten per jaar
Vingerafdruk
Verdiep u in de onderzoeksgebieden waarop Dieter Vandesande actief is. Deze onderwerplabels komen uit het werk van deze persoon. Samen vormen ze een unieke vingerafdruk.
- 1 Soortgelijke profielen
Samenwerkingen en hoofdonderzoeksgebieden uit de afgelopen vijf jaar
Recente externe samenwerking op landen-/regioniveau. Duik in de details door op de stippen te klikken of
Projecten
- 1 Actief
-
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. (redactie). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, blz. 1-28 28 blz. (Leibniz International Proceedings in Informatics; vol. 307).Onderzoeksoutput: Conference paper
Open AccessBestand1 Citaat (Scopus)10 Downloads (Pure) -
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. (redactie). Springer, blz. 1-22 22 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14132 LNAI).Onderzoeksoutput: Conference paper
Open AccessBestand14 Citaten (Scopus)55 Downloads (Pure) -
Towards Certified MaxSAT Solving
Vandesande, D., 9 nov. 2023, (Unpublished). 1 blz.Onderzoeksoutput: Poster
Bestand1 Downloads (Pure) -
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. (redactie). Springer, Vol. 13416. blz. 429-442 14 blz. (Lecture Notes in Computer Science; vol. 13416).Onderzoeksoutput: Conference paper
Open AccessBestand9 Citaten (Scopus)157 Downloads (Pure)
Prijzen
-
CertifASP: Certified Answer Set Programming
Vandesande, Dieter (Recipient), 2024
Prijs: Fellowship awarded competitively
-
Runner-up for the VCLA International Student Awards 2024
Vandesande, Dieter (Recipient), 2024
Prijs: Prize (including medals and awards)
Activiteiten
-
Research stay at Helsinki University, Helsinki, Finland
Dieter Vandesande (Visitor)
13 jan. 2025 → 17 jan. 2025Activiteit: Research and Teaching at External Organisation
-
Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability
Dieter Vandesande (Speaker)
3 sep. 2024Activiteit: Talk or presentation at a conference
-
Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability
Dieter Vandesande (Speaker)
20 aug. 2024Activiteit: Talk or presentation at a workshop/seminar
-
19th International Conference on Integrated Formal Methods (Evenement)
Dieter Vandesande (Member)
2024 → …Activiteit: Membership of peer-review panel or committee
-
Proof logging for MaxCDCL and BDDs
Dieter Vandesande (Speaker)
23 mei 2024Activiteit: Talk or presentation at a workshop/seminar
Scriptie
-
Towards Certified MaxSAT Solving: Certified MaxSAT solving with SAT oracles and encodings of pseudo-Boolean constraints
Auteur: Vandesande, D., 2023Begeleider: Bogaerts, B. (Promotor)
Scriptie/Masterproef: Master's Thesis
Bestand