Projects per year
Personal profile
Keywords
- constraint programming
- verification
- satisfiability
- abstract interpretation
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Research Output 2008 2019
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
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
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
Breaking symmetries with lex implications
Codish, M., Ehlers, T., Gange, G., Itzhakov, A. & Stuckey, P. J., 2018, Functional and Logic Programming: 14th International Symposium, FLOPS 2018 Nagoya, Japan, May 9–11, 2018 Proceedings. Gallagher, J. P. & Sulzmann, M. (eds.). Cham Switzerland: Springer, p. 182-197 16 p. (Lecture Notes in Computer Science ; vol. 10818 ).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Machine Learning and Constraint Programming for Relational-to-Ontology schema mapping
De Uña, D., Rümmele, N., Gange, G., Schachte, P. & Stuckey, P. J., 2018, Proceedings of the 27th International Joint Conference on Artificial Intelligence, IJCAI 2018. Lang, J. (ed.). California USA: International Joint Conferences on Artificial Intelligence, p. 1277-1283 7 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review