No photo of Dieter Vandesande

Dieter Vandesande

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

  • Pleinlaan 2

    1050 Brussels

    Belgium

  • Pleinlaan 2

    1050 Brussel

    Belgium

  • Source: Scopus
  • Calculated based on number of publications stored in Pure and citations from Scopus
20222023

Research activity per year

If you made any changes in Pure these will be visible here soon.

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
  • 2 Citations
  • 1 h-index
  • 2 Conference paper

  • 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
    22 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
    2 Citations (Scopus)
    41 Downloads (Pure)