All decks Close
All decks 142

  • ManyWorlds - Combinatorial Programming with Functions - ModRef

    Presentation of ManyWorlds for the ModRef workshop

    Aug 29, 2024 766 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 757 0

  • ManyWorlds - Combinatorial programming with functions

    Oct 21, 2023 884 0

  • ManyWorlds - Combinatorial programming with functions

    Sep 23, 2023 722 0

  • Common Subexpression Elimination

    Sep 16, 2023 666 0

  • ManyWorlds - combinatorial programming made simple

    Jul 17, 2023 620 0

  • Research summary

    Apr 04, 2023 500 0

  • Conflict-driven cutting-plane learning

    Mar 25, 2023 635 0

  • Compiling Constraints

    Feb 19, 2023 729 0

  • Explanation limits

    Nov 14, 2022 713 0

  • Knowledge bases for healthcare

    Oct 21, 2022 646 0

  • Knowledge Base Paradigm

    Sep 28, 2022 594 0

  • Research elevator pitch

    Sep 28, 2022 605 0

  • Copy of Constraint Reasoning, Pseudo-Boolean style

    Sep 11, 2022 663 0

  • Contactmoment 10 mei

    May 09, 2021 1,074 0

  • Contactmoment 3 mei

    May 03, 2021 1,137 0

  • 18c. 0-1 Integer linear programming

    Apr 29, 2021 1,165 0

  • 18b. FO(.) en IDP

    Apr 29, 2021 1,187 0

  • 18a. Predikatenlogica

    Apr 28, 2021 988 0