Research Output per year
Research Output 2008 2019
2019
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
2018
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
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
Optimal Sankey Diagrams via Integer Programming
Zarate, D. C., Bodic, P. L., Dwyer, T., Gange, G. & Stuckey, P., 2018, Proceedings - 2018 IEEE Pacific Visualization Symposium, PacificVis 2018: 10–13 April 2018 Kobe, Japan. Bruckner, S., Koyamada, K. & Lee, B. (eds.). Piscataway NJ USA: IEEE, Institute of Electrical and Electronics Engineers, p. 135-139 5 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Propagating lex, find and replace with dashed strings
Amadini, R., Gange, G. & Stuckey, P. J., 2018, Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 15th International Conference, CPAIOR 2018 Delft, The Netherlands, June 26–29, 2018 Proceedings. van Hoeve, W-J. (ed.). Cham Switzerland: Springer, p. 18-34 17 p. (Lecture Notes in Computer Science ; vol. 10848 ).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Propagating regular membership with dashed strings
Amadini, R., Gange, G. & Stuckey, P. J., 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. 13-29 17 p. (Lecture Notes in Computer Science ; vol. 11008 ).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Sequential precede chain for value symmetry elimination
Gange, G. & Stuckey, P. J., 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. 144-159 16 p. (Lecture Notes in Computer Science ; vol. 11008 ).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Sweep-based propagation for string constraint solving
Amadini, R., Gange, G. & Stuckey, P. J., 2018, Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18 ): New Orleans, Louisiana USA — February 2–7, 2018. McIlraith, S. & Weinberger, K. (eds.). Palo Alto CA USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 6557-6564 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Open Access
File
2017
A benders decomposition approach to deciding modular linear integer arithmetic
Kafle, B., Gange, G., Schachte, P., Søndergaard, H. & Stuckey, P. J., 2017, Theory and Applications of Satisfiability Testing – SAT 2017: 20th International Conference Melbourne, VIC, Australia, August 28 – September 1, 2017 Proceedings. Gaspers, S. & Walsh, T. (eds.). Cham Switzerland: Springer, p. 380-397 18 p. (Lecture Notes in Computer Science ; vol. 10491 ).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
A novel approach to string constraint solving
Amadini, R., Gange, G., Stuckey, P. J. & Tack, G., 2017, Principles and Practice of Constraint Programming - 23rd International Conference CP 2017, Proceedings. Beck, C. (ed.). Cham Switzerland: Springer, Vol. 10416 . p. 3-20 18 p. (Lecture Notes in Computer Science; vol. 10416).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Automatic logic-based benders decomposition with minizinc
Davies, T. O., Gange, G. & Stuckey, P. J., 2017, Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17): San Francisco, California, USA — February 04 - 09, 2017. Singh, S. & Markovitch, S. (eds.). Palo Alto CA USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 787-793 7 p. 1642Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Combining string abstract domains for JavaScript analysis: an evaluation
Amadini, R., Jordan, A., Gange, G., Gauthier, F., Schachte, P., Søndergaard, H., Stuckey, P. J. & Zhang, C., 2017, Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017 Uppsala, Sweden, April 22–29, 2017 Proceedings, Part I. Legay, A. & Margaria, T. (eds.). Berlin Germany: Springer, p. 41-57 17 p. (Lecture Notes in Computer Science ; vol. 10205 ).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Fixing the state budget: approximation of regular languages with small DFAs
Gange, G., Ganty, P. & Stuckey, P. J., 2017, Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017 Pune, India, October 3–6, 2017 Proceedings. D’Souza, D. & Narayan Kumar, K. (eds.). Cham Switzerland: Springer, p. 67-83 17 p. (Lecture Notes in Computer Science ; vol. 10482 ).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Minimizing landscape resistance for habitat conservation
de Uña, D., Gange, G., Schachte, P. & Stuckey, P. J., 2017, Integration of AI and OR Techniques in Constraint Programming: 14th International Conference, CPAIOR 2017 Padua, Italy, June 5–8, 2017 Proceedings. Salvagnin, D. & Lombardi, M. (eds.). Cham Switzerland: Springer, p. 113-130 18 p. (Lecture Notes in Computer Science ; vol. 10335 ).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
2016
A bounded path propagator on directed graphs
de Uña, D., Gange, G., Schachte, P. & Stuckey, P. J., 2016, Principles and Practice of Constraint Programming: 22nd International Conference, CP 2016 Toulouse, France, September 5–9, 2016 Proceedings. Rueher, M. (ed.). Cham Switzerland: Springer, p. 189-206 18 p. (Lecture Notes in Computer Science ; vol. 9892 ).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
An abstract domain of uninterpreted functions
Gange, G., Navas, J. A., Schachte, P., Søndergaard, H. & Stuckey, P. J., 2016, Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016 St. Petersburg, FL, USA, January 17–19, 2016 Proceedings. Jobstmann, B. & M. Leino, K. R. (eds.). Berlin Germany: Springer, p. 85-103 19 p. (Lecture Notes in Computer Science ; vol. 9583).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Breaking symmetries in graphs: the nauty way
Codish, M., Gange, G., Itzhakov, A. & Stuckey, P. J., 2016, Principles and Practice of Constraint Programming: 22nd International Conference, CP 2016 Toulouse, France, September 5–9, 2016 Proceedings. Rueher, M. (ed.). Cham Switzerland: Springer, p. 157-172 16 p. (Lecture Notes in Computer Science ; vol. 9892 ).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Constraint propagation and explanation over novel types by abstract compilation
Gange, G. & Stuckey, P. J., Nov 2016, Technical Communications of the 32nd International Conference on Logic Programming: ICLP 2016, October 16–21, 2016, New York City, USA. Carro, M., King, A., Saeedloei, N. & De Vos, M. (eds.). Wadern Germany: Schloss Dagstuhl, 14 p. 13. (OpenAccess Series in Informatics; vol. 52).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Open Access
File
Exploiting sparsity in difference-bound matrices
Gange, G., Navas, J. A., Schachte, P., Søndergaard, H. & Stuckey, P. J., 2016, Static Analysis: 23rd International Symposium, SAS 2016 Edinburgh, UK, September 8–10, 2016 Proceedings. Rival, X. (ed.). Berlin Germany: Springer, p. 189-211 23 p. (Lecture Notes in Computer Science ; vol. 9837 ).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Lagrangian decomposition via sub-problem search
Chu, G., Gange, G. & Stuckey, P. J., 2016, Integration of AI and OR Techniques in Constraint Programming: 13th International Conference, CPAIOR 2016 Banff, AB, Canada, May 29 – June 1, 2016 Proceedings. Quimper, C-G. (ed.). Cham Switzerland: Springer, p. 65-80 16 p. (Lecture Notes in Computer Science ; vol. 9676).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
On CNF encodings of decision diagrams
Abío, I., Gange, G., Mayer-Eichberger, V. & Stuckey, P. J., 2016, Integration of AI and OR Techniques in Constraint Programming: 13th International Conference, CPAIOR 2016 Banff, AB, Canada, May 29 – June 1, 2016 Proceedings. Quimper, C-G. (ed.). Cham Switzerland: Springer, p. 1-17 17 p. (Lecture Notes in Computer Science ; vol. 9676).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Steiner tree problems with side constraints using constraint programming
De Uña, D., Gange, G., Schachte, P. & Stuckey, P. J., 2016, Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI'16 ): February 12–17, 2016 Phoenix, Arizona, USA. Schuurmans, D. & Wellman, M. (eds.). Palo Alto CA USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 3383-3389 7 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Open Access
File
Weighted spanning tree constraint with explanations
de Uña, D., Gange, G., Schachte, P. & Stuckey, P. J., 2016, Integration of AI and OR Techniques in Constraint Programming: 13th International Conference, CPAIOR 2016 Banff, AB, Canada, May 29 – June 1, 2016 Proceedings. Quimper, C-G. (ed.). Cham Switzerland: Springer, p. 98-107 10 p. (Lecture Notes in Computer Science ; vol. 9676).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
2015
Analyzing array manipulating programs by program transformation
Cornish, J. R. M., Gange, G., Navas, J. A., Schachte, P., Søndergaard, H. & Stuckey, P. J., 2015, Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014 Canterbury, UK, September 9–11, 2014 Revised Selected Papers. Proietti, M. & Seki, H. (eds.). Cham Switzerland : Springer, p. 3-20 18 p. (Lecture Notes in Computer Science ; vol. 8981).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
A tool for intersecting context-free grammars and its applications
Gange, G., Navas, J. A., Schachte, P., Søndergaard, H. & Stuckey, P. J., 2015, NASA Formal Methods: 7th International Symposium, NFM 2015 Pasadena, CA, USA, April 27–29, 2015 Proceedings. Havelund, K., Holzmann, G. & Joshi, R. (eds.). Cham Switzerland: Springer, p. 422-428 7 p. (Lecture Notes in Computer Science ; vol. 9058).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
SLA-based resource scheduling for Big Data Analytics as a service in Cloud computing environments
Zhao, Y., Calheiros, R. N., Gange, G., Ramamohanarao, K. & Buyya, R., 2015, Proceedings - 2015 44th International Annual Conference on Parallel Processing, The 44th Annual Conference, ICPP 2015. Piscataway NJ USA: IEEE, Institute of Electrical and Electronics Engineers, p. 510-519 10 p. 7349606Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
2013
Abstract interpretation over non-lattice abstract domains
Gange, G., Navas, J. A., Schachte, P., Søndergaard, H. & Stuckey, P. J., 26 Sep 2013, Static Analysis - 20th International Symposium, SAS 2013, Proceedings. Springer, p. 6-24 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7935 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Explaining propagators for edge-valued decision diagrams
Gange, G., Stuckey, P. J. & Van Hentenryck, P., 22 Oct 2013, Principles and Practice of Constraint Programming - 19th International Conference, CP 2013, Proceedings. Springer, p. 340-355 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8124 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Solving difference constraints over modular arithmetic
Gange, G., Søndergaard, H., Stuckey, P. J. & Schachte, P., 15 Jul 2013, CADE 2013 - 24th International Conference on Automated Deduction, Proceedings. Springer, p. 215-230 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7898 LNAI).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Unbounded model-checking with interpolation for regular language constraints
Gange, G., Navas, J. A., Stuckey, P. J., Søndergaard, H. & Schachte, P., 5 Mar 2013, Tools and Algorithms for the Construction and Analysis of Systems - 19th Int. Conf., TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Proc.. Springer, p. 277-291 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7795 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
2012
Explaining propagators for s-DNNF circuits
Gange, G. & Stuckey, P. J., 29 May 2012, Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems - 9th International Conference, CPAIOR 2012, Proceedings. Springer, p. 195-210 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7298 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Optimal guillotine layout
Gange, G., Marriott, K. G. & Stuckey, P. J., 2012, Proceedings of the 2012 ACM Symposium on Document Engineering. Schmitz, P. (ed.). New York NY USA: Association for Computing Machinery (ACM), p. 13 - 22 10 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
2011
Optimal automatic table layout
Gange, G., Marriott, K. G., Moulder, P. & Stuckey, P. J., 2011, Proceedings of the 11th ACM Symposium on Document Engineering. Tompa, F. W. (ed.). New York NY USA: Association for Computing Machinery (ACM), p. 23 - 31 9 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Optimal k-level planarization and crossing minimization
Gange, G., Stuckey, P. J. & Marriott, K. G., 2011, Proceedings of the 18th International Symposium on Graph Drawing. Brandes, U. & Cornelsen, S. (eds.). Berlin Germany: Springer-Verlag London Ltd., p. 238 - 249 12 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
2008
Fast set bounds propagation using BDDs
Gange, G., Lagoon, V. & Stuckey, P. J., 1 Jan 2008, Frontiers in Artificial Intelligence and Applications. IOS Press, p. 505-509 5 p. (Frontiers in Artificial Intelligence and Applications; vol. 178).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Smooth linear approximation of non-overlap constraints
Gange, G., Marriott, K. G. & Stuckey, P. J., 2008, Proceedings of the 5th International Conference on Diagrammatic Representation and Interface (Diagrams 2008). Stapleton, G., Howse, J. & Lee, J. (eds.). Berlin Germany: Springer-Verlag London Ltd., Vol. 5223. p. 45 - 59 15 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review