Published in Proceedings of the 23rd International Conference on Principles and Practice of Constraint Programming (CP 2017), 2017
Published in 8th International Workshop on Statistical Relational AI (StarAI 2018), held in conjunction with IJCAI 2018, 2018
Published in Proceedings of the 31st Benelux Conference on Artificial Intelligence (BNAIC 2019) and the 28th Belgian Dutch Conference on Machine Learning (Benelearn 2019), 2019
Published in Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019), 2019
Published in Workshop Data Science meets Optimisation (DSO), held in conjunction with IJCAI 2019, 2019
Published in International Workshop on Model Counting (MCW), held in conjunction with SAT 2020, 2020
Published in International Workshop on Model Counting (MCW), held in conjunction with SAT 2020, 2020
Published in Workshop on Counting and Sampling, held in conjunction with SAT 2021, 2021
Published in Artificial Intelligence, 2022
Published in Workshop on Counting and Sampling 2022, in conjunction with FLoC 2022 and SAT 2022, 2022
Published in Leiden University, 2022
Published in Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, 19th-25th August 2023, Macao, SAR, China, 2023
Published in The 22nd workshop on Constraint Modelling and Reformulation (ModRef 2023), in conjunction with CP 2023, 2023
Published in github, 2024
Published in arXiv, 2024
Published:
More information about the competition here. More information about the work here
Published:
Graduate course, University of Amsterdam, 2009
A student assistant is a Bachelor student who assists the lecturer of a course. This is a paid position. My responsibilities included:
Undergraduate course, Leiden University, 2015
A student assistant is a Master student who assists the lecturer of a course. This is a paid position.
Graduate course, Leiden University, 2018
An assistant lecturer is a PhD student who assists the lecturer of a course and has responsibilities that go beyond what is typically expected of a PhD student or other teaching assistant.
Graduate course, Leiden University, 2018
A teaching assistant (TA) is a PhD student who assists the lecturer of a course.
Graduate course, Leiden University, 2020
A student assistant is a Master student who assists the lecturer of a course. This is a paid position. As a student assistant, my responsibilities included:
Student supervision, Leiden University, 2021
I supervised the following Master students for their 18 ECTS Research Project and their 42 ECTS Master Project: