All decks Close
All decks 142

  • ManyWorlds - Combinatorial Programming with Functions - ModRef

    Presentation of ManyWorlds for the ModRef workshop

    Aug 29, 2024 582 0

  • ManyWorlds: Combinatorial Programming Summary

    Poster for XAI - the Explainable Symbolic AI workshop

    May 17, 2024 674 0

  • ManyWorlds - Combinatorial Programming with Functions - ORBEL

    Presentation of ManyWorlds for Operations Research experts

    Jan 11, 2024 622 0

  • ManyWorlds - Combinatorial programming with functions

    Oct 21, 2023 709 0

  • ManyWorlds - Combinatorial programming with functions

    Sep 23, 2023 618 0

  • Common Subexpression Elimination

    Sep 16, 2023 535 0

  • ManyWorlds - combinatorial programming made simple

    Jul 17, 2023 537 0

  • Research summary

    Apr 04, 2023 500 0

  • Conflict-driven cutting-plane learning

    Mar 25, 2023 536 0

  • Compiling Constraints

    Feb 19, 2023 637 0

  • Explanation limits

    Nov 14, 2022 617 0

  • Knowledge bases for healthcare

    Oct 21, 2022 561 0

  • Knowledge Base Paradigm

    Sep 28, 2022 510 0

  • Research elevator pitch

    Sep 28, 2022 523 0

  • Copy of Constraint Reasoning, Pseudo-Boolean style

    Sep 11, 2022 538 0

  • Contactmoment 10 mei

    May 09, 2021 996 0

  • Contactmoment 3 mei

    May 03, 2021 1,059 0

  • 18c. 0-1 Integer linear programming

    Apr 29, 2021 1,094 0

  • 18b. FO(.) en IDP

    Apr 29, 2021 1,106 0

  • 18a. Predikatenlogica

    Apr 28, 2021 915 0

  • Ruben's favorite programming language

    Apr 28, 2021 428 0

  • Contactmoment 26 april

    Apr 26, 2021 778 0

  • 17b. Programmeerparadigma's

    Apr 22, 2021 932 0

  • 17a. Turingmachines

    Apr 21, 2021 894 0

  • 16c. Debugging

    Apr 16, 2021 819 0

  • 16a. Softwarevereisten

    Apr 15, 2021 800 0

  • 16b. Testen

    Apr 15, 2021 786 0

  • Contactmoment 19 april

    Apr 15, 2021 814 0

  • Contactmoment 29 maart

    Mar 29, 2021 782 0

  • 14c. Hashtabel analyse

    Mar 26, 2021 819 0

  • 14b. Hashtabel

    Mar 26, 2021 848 0

  • 14a. Tabellen

    Mar 26, 2021 883 0

  • Contactmoment 24 maart

    Mar 24, 2021 802 0

  • 13c. Robotvoorbeeld

    Mar 23, 2021 848 0

  • 13b. Backtracking

    Mar 22, 2021 886 0

  • 13a. Zoekproblemen

    Mar 22, 2021 843 0

  • Contactmoment 22 maart

    Mar 22, 2021 794 0

  • 12c. Huffmanboom constructie

    Mar 19, 2021 834 0

  • 12b. Huffmanboom

    Mar 19, 2021 829 0

  • 12a. Huffmancodering intro

    Mar 19, 2021 843 0

  • Contactmoment 17 maart

    Mar 15, 2021 839 0

  • Contactmoment 15 maart

    Mar 15, 2021 847 0

  • 11c. Merge sort

    Mar 14, 2021 810 0

  • 11b. Quicksort

    Mar 14, 2021 783 0

  • 11a. Selection sort

    Mar 14, 2021 842 0

  • 10d. Gebalanceerde zoekbomen

    Mar 12, 2021 784 0

  • 10c. Zoekbomen

    Mar 11, 2021 838 0

  • 10b. Expressiebomen

    Mar 11, 2021 797 0

  • 10a. Bomen

    Mar 10, 2021 792 0

  • Solving 0-1 Integer Linear Programs with Core-guided Optimisation

    Mar 08, 2021 832 0