Geen foto van Dieter Vandesande
  • Pleinlaan 2

    1050 Brussels

    Belgium

  • Pleinlaan 2

    1050 Brussel

    Belgium

  • Bron: Scopus
  • Berekend op basis van aantal in Pure opgeslagen publicaties en citaties van Scopus
20222023

Onderzoeksresultaten 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
  • 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 Access
    Bestand
    31 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 Access
    Bestand
    2 Citaten (Scopus)
    78 Downloads (Pure)