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

Filter
Conference paper

Zoekresultaten

  • 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. (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)
  • 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. (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)
    85 Downloads (Pure)
Uw bericht is met succes verzonden.
Uw bericht is niet verzonden wegens een fout.