If you made any changes in Pure these will be visible here soon.

Research Output 2008 2019

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 journalArticleResearchpeer-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 proceedingConference PaperResearchpeer-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 proceedingConference PaperResearchpeer-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 proceedingConference PaperResearchpeer-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 journalArticleResearchpeer-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 proceedingConference PaperResearchpeer-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 proceedingConference PaperResearchpeer-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 proceedingConference PaperResearchpeer-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 proceedingConference PaperResearchpeer-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 proceedingConference PaperResearchpeer-review

Reference abstract domains and applications to string analysis

Amadini, R., Gauthier, F., Schachte, P., Stuckey, P. J., Gange, G., Jordan, A., Søndergaard, H. & Zhang, C., 9 Feb 2018, In : Fundamenta Informaticae. 158, 4, p. 297-326 30 p.

Research output: Contribution to journalArticleResearchpeer-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 proceedingConference PaperResearchpeer-review

SLA-based profit optimization resource scheduling for big data analytics-as-a-service platforms in cloud computing environments

Zhao, Y., Calheiros, R., Gange, G., Bailey, J. & Sinnott, R., 27 Dec 2018, (Accepted/In press) In : IEEE Transactions on Cloud Computing. 16 p.

Research output: Contribution to journalArticleResearchpeer-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 proceedingConference PaperResearchpeer-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 proceedingConference PaperResearchpeer-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 proceedingConference PaperResearchpeer-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. 1642

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-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 proceedingConference PaperResearchpeer-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 proceedingConference PaperResearchpeer-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 proceedingConference PaperResearchpeer-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 proceedingConference PaperResearchpeer-review

A complete refinement procedure for regular separability of context-free languages

Gange, G., Navas, J. A., Schachte, P., Søndergaard, H. & Stuckey, P. J., 25 Apr 2016, In : Theoretical Computer Science. 625, p. 1-24 24 p.

Research output: Contribution to journalArticleResearchpeer-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 proceedingConference PaperResearchpeer-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 proceedingConference PaperResearchpeer-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 proceedingConference PaperResearchpeer-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 proceedingConference PaperResearchpeer-review

High-Quality Ultra-Compact Grid Layout of Grouped Networks

Yoghourdjian, V., Dwyer, T., Gange, G., Kieffer, S., Klein, K. & Marriott, K. G., Jan 2016, In : IEEE Transactions on Visualization and Computer Graphics. 22, 1, p. 339 - 348 10 p.

Research output: Contribution to journalArticleResearchpeer-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 proceedingConference PaperResearchpeer-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 proceedingConference PaperResearchpeer-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 proceedingConference PaperResearchpeer-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 proceedingConference PaperResearchpeer-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 proceedingConference PaperResearchpeer-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 proceedingConference PaperResearchpeer-review

Automatic minimal-height table layout

Bilauca, M., Gange, G., Healy, P., Marriott, K. G., Moulder, P. & Stuckey, P. J., 2015, In : INFORMS Journal on Computing. 27, 3, p. 449 - 461 13 p.

Research output: Contribution to journalArticleResearchpeer-review

Horn clauses as an intermediate representation for program analysis and transformation

Gange, G., Navas, J. A., Schachte, P., Sondergaard, H. & Stuckey, P. J., Jul 2015, In : Theory and Practice of Logic Programming. 15, 4-5, p. 526-542 17 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
File

Interval analysis and machine arithmetic: why signedness ignorance is bliss

Gange, G., Navas, J. A., Schachte, P., Søndergaard, H. & Stuckey, P. J., Jan 2015, In : ACM Transactions on Programming Languages and Systems. 37, 1, 35 p., 1.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
File

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. 7349606

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

2014

Four-valued reasoning and cyclic circuits

Gange, G., Horsfall, B., Naish, L. & Søndergaard, H., 1 Jan 2014, In : IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 33, 7, p. 1003-1016 14 p., 6835151.

Research output: Contribution to journalArticleResearchpeer-review

Synthesizing optimal switching lattices

Gange, G., Søndergaard, H. & Stuckey, P. J., Nov 2014, In : ACM Transactions on Design Automation of Electronic Systems. 20, 1, 14 p., 6.

Research output: Contribution to journalArticleResearchpeer-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 proceedingConference PaperResearchpeer-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 proceedingConference PaperResearchpeer-review

Failure tabled constraint logic programming by interpolation

Gange, G., Navas, J. A., Schachte, P., Sondergaard, H. & Stuckey, P. J., 1 Jul 2013, In : Theory and Practice of Logic Programming. 13, 4-5, p. 593-607 15 p.

Research output: Contribution to journalArticleResearchpeer-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 proceedingConference PaperResearchpeer-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 proceedingConference PaperResearchpeer-review

2012

BetaSearch: a new method for querying β-residue motifs

Ho, H. K., Gange, G., Kuiper, M. J. & Ramamohanarao, K., 30 Jul 2012, In : BMC Research Notes. 5, 14 p., 391.

Research output: Contribution to journalArticleResearchpeer-review

Open Access

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 proceedingConference PaperResearchpeer-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 proceedingConference PaperResearchpeer-review

2011

MDD propagators with explanation

Gange, G., Stuckey, P. J. & Szymanek, R., 1 Oct 2011, In : Constraints. 16, 4, p. 407-429 23 p.

Research output: Contribution to journalArticleResearchpeer-review

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 proceedingConference PaperResearchpeer-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 proceedingConference PaperResearchpeer-review