Projects per year
Personal profile
Research area keywords
- constraint programming
- verification
- satisfiability
- abstract interpretation
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Projects
Improved Constraint Reasoning for Robust Multi-agent Path Planning
Stuckey, P., Harabor, D., Le Bodic, P., Gange, G. & Koenig, S.
1/01/20 → 31/12/22
Project: Research
Use of Electric Muscle Stimulation (EMS) to explore the transferring of physical expertise between pro-and novice-gamers
Knibbe, J., Gange, G. & Wilson, E.
1/07/19 → 18/10/19
Project: Research
Research Output
Compiling CP subproblems to MDDs and d-DNNFs
de Uña, D., Gange, G., Schachte, P. & Stuckey, P. J., Jan 2019, In : Constraints. 24, 1, p. 56-93 38 p.Research output: Contribution to journal › Article › Research › peer-review
3
Citations
(Scopus)
Constraint programming for dynamic symbolic execution of JavaScript
Amadini, R., Andrlon, M., Gange, G., Schachte, P., Søndergaard, H. & Stuckey, P. J., 2019, Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 16th International Conference, CPAIOR 2019 Thessaloniki, Greece, June 4–7, 2019 Proceedings. Rousseau, L-M. & Stergiou, K. (eds.). Cham Switzerland: Springer, p. 1-19 19 p. (Lecture Notes in Computer Science ; vol. 11494 ).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Dissecting widening: separating termination from information
Gange, G., Navas, J. A., Schachte, P., Søndergaard, H. & Stuckey, P. J., 2019, Programming Languages and Systems : 17th Asian Symposium, APLAS 2019 Nusa Dua, Bali, Indonesia, December 1–4, 2019 Proceedings. Lin, A. W. (ed.). Cham Switzerland: Springer, p. 95-114 20 p. (Lecture Notes in Computer Science; vol. 11893 ).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Lazy CBS: implict Conflict-Based Search using Lazy Clause Generation
Gange, G., Harabor, D. & Stuckey, P. J., 5 Jul 2019, Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling. Benton, J., Lipovetzky, N., Onaindia, E., E. Smith, D. & Srivastava, S. (eds.). Palo Alto CA USA: Association for the Advancement of Artificial Intelligence (AAAI), Vol. 29. p. 155-162 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Open Access
File
A fast and scalable algorithm for scheduling large numbers of devices under real-time pricing
He, S., Wallace, M., Gange, G., Liebman, A. & Wilson, C., 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. 649-666 18 p. (Lecture Notes in Computer Science ; vol. 11008).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
1
Citation
(Scopus)