No photo of Dieter Vandesande

Dieter Vandesande

 https://orcid.org/0000-0002-8150-3202

  • Pleinlaan 2

    1050 Brussels

    Belgium

  • Pleinlaan 2

    1050 Brussel

    Belgium

Calculated based on number of publications stored in Pure and citations from Scopus
20222024

Research activity per year

Fingerprint

Dive into the research topics where Dieter Vandesande is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further

  • 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

    Open Access
    File
    3 Citations (Scopus)
    21 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. (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

    Open Access
    File
    20 Citations (Scopus)
    63 Downloads (Pure)

  • Towards Certified MaxSAT Solving

    Vandesande, D., 9 Nov 2023, (Unpublished). 1 p.

    Research output: Unpublished contribution to conference › Poster

    File
    6 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. (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

    Open Access
    File
    11 Citations (Scopus)
    193 Downloads (Pure)
View all 13 activities