Projects per year
Personal profile
Education/Academic qualification
Computer Science, Doctor of Philosophy, A Modern Architecture for Constraint Modelling Languages, Monash University
Sept 2017 → Jul 2021
Award Date: 25 Nov 2021
Computer Science, Master of Science, Uppsala Universitet (Uppsala University)
Sept 2014 → Feb 2017
Computing Science, Bachelor of Science, Radboud Universiteit Nijmegen (Radboud University Nijmegen)
Sept 2011 → Aug 2014
Research area keywords
- Problem Modelling And Solving
- Programming Languages
- Constraint Programming
- Boolean Satisfiability
- Optimization
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
NLCG: Huub: Next-Gen Lazy Clause Generation
Stuckey, P. (Primary Chief Investigator (PCI)), Ignatiev , A. (Chief Investigator (CI)), Dekker, J. (Associate Investigator (AI)) & Zhong, A. (Associate Investigator (AI))
14/04/25 → 13/04/26
Project: Research
-
Community Centric Sport Fixtures: Phase 2
Senthooran, I., Dekker, J. & Wallace, M.
10/12/23 → 28/02/25
Project: Research
-
Community Centric Sport fixtures
Senthooran, I. (Primary Chief Investigator (PCI)), Dekker, J. (Chief Investigator (CI)) & Wallace, M. (Chief Investigator (CI))
1/03/23 → 31/05/23
Project: Research
-
Sports Home and Away Scheduling
Wallace, M. (Primary Chief Investigator (PCI)), Senthooran, I. (Chief Investigator (CI)) & Dekker, J. (Chief Investigator (CI))
4/12/21 → 31/10/22
Project: Research
-
A Protocol to Determine Circadian Phase by At-Home Salivary Dim Light Melatonin Onset Assessment
Murray, J. M., Stone, J. E., Abbott, S. M., Bjorvatn, B., Burgess, H. J., Cajochen, C., Dekker, J. J., Duffy, J. F., Epstein, L. J., Garbazza, C., Harsh, J., Klerman, E. B., Lane, J. M., Lockley, S. W., Pavlova, M. K., Quan, S. F., Reid, K. J., Scheer, F. A. J. L., Sletten, T. L. & Wright, K. P. & 5 others, , Aug 2024, In: Journal of Pineal Research. 76, 5, 12 p., e12994.Research output: Contribution to journal › Review Article › Research › peer-review
Open Access7 Citations (Scopus) -
Single Constant Multiplication for SAT
Bierlee, H., Dekker, J. J., Lagoon, V., Stuckey, P. J. & Tack, G., 2024, Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 21st International Conference, CPAIOR 2024, Proceedings. Dilkina, B. (ed.). Cham Switzerland: Springer, p. 84-98 15 p. (Lecture Notes in Computer Science; vol. 14742).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
-
Coupling different integer encodings for SAT
Bierlee, H., Gange, G., Tack, G., Dekker, J. J. & Stuckey, P. J., 2022, Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 19th International Conference, CPAIOR 2022 Los Angeles, CA, USA, June 20–23, 2022 Proceedings. Schaus, P. (ed.). Cham Switzerland: Springer, p. 44-63 20 p. (Lecture Notes in Computer Science; vol. 13292).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
-
Nutmeg: a MIP and CP hybrid solver using branch-and-check
Lam, E., Gange, G., Stuckey, P., Van Hentenryck, P. & Dekker, J. J., 8 Sept 2020, In: SN Operations Research Forum. 1, 3, 27 p., 22.Research output: Contribution to journal › Article › Research › peer-review
Open AccessFile -
Solver-independent large neighbourhood search
Dekker, J. J., de la Banda, M. G., Schutt, A., Stuckey, P. J. & Tack, G., 2018, Principles and Practice of Constraint Programming: 24th International Conference, CP 2018 Lille, France, August 27–31, 2018 Proceedings. Hooker, J. (ed.). Cham Switzerland: Springer, p. 81-98 18 p. (Lecture Notes in Computer Science ; vol. 11008 ).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
12 Citations (Scopus)
Prizes
-
Finalist for the Australian Research Data Commons Eureka Prize for Excellence in Research Software
Stuckey, P. (Recipient), Tack, G. (Recipient), Dekker, J. (Recipient) & Nguyen, J. (Recipient), 2024
Prize: Other distinction
-
OPTIMA Award for the Contribution to Education and Training
Dekker, J. (Recipient) & Somers, V. (Recipient), 16 Dec 2022
Prize: Prize (including medals and awards)
-
Recognition of Exemplary Individual SETU Results
Dekker, J. (Recipient), 2020
Prize: Other distinction
Activities
-
International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research
Jip Dekker (Organiser)
16 Sept 2024 → 1 Dec 2025Activity: Participating in or organising an event types › Contribution to conference
-
AAAI Conference on Artificial Intelligence 2025
Jip Dekker (Member of programme committee)
11 Jun 2024 → 1 Dec 2024Activity: Participating in or organising an event types › Contribution to conference
-
European Conference on Artificial Intelligence 2024
Jip Dekker (Member of programme committee)
25 Apr 2024 → 4 Jul 2024Activity: Participating in or organising an event types › Contribution to conference
-
Workshop on Constraint Modelling and Reformulation 2024
Jip Dekker (Member of programme committee)
5 Jun 2024 → 15 Jul 2024Activity: Participating in or organising an event types › Contribution to workshop, seminar, course
-
15th Pragmatics of SAT
Jip Dekker (Member of programme committee)
30 May 2024 → 1 Jul 2024Activity: Participating in or organising an event types › Contribution to workshop, seminar, course