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 2016 2019
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 2008 2019
3
Citations
(Scopus)
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
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
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
1
Citation
(Scopus)
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
4
Citations
(Scopus)
An iterative approach to precondition inference using constrained Horn clauses
Kafle, B., Gallagher, J. P., Gange, G., Schachte, P., Sondergaard, H. & Stuckey, P. J., Jul 2018, In : Theory and Practice of Logic Programming. 18, 3-4, p. 553-570 18 p.Research output: Contribution to journal › Article › Research › peer-review
Open Access
File