Graeme Gange - RankMe

85 papers A* 11A 16B 22C 3Misc 1Journal 27Unranked 4

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	A lightweight approach to nontermination inference using Constrained Horn Clauses. Softw. Syst. Model. Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2024	A*	`conf`	Automatic Core-Guided Reformulation via Constraint Explanation and Condition Learning. AAAI Kevin Leo, Graeme Gange, Maria Garcia de la Banda, Mark Wallace
2022	B	`conf`	Coupling Different Integer Encodings for SAT. CPAIOR Hendrik Bierlee, Graeme Gange, Guido Tack, Jip J. Dekker, Peter J. Stuckey
2022	A*	`conf`	Flex Distribution for Bounded-Suboptimal Multi-Agent Path Finding. AAAI Shao-Hung Chan, Jiaoyang Li, Graeme Gange, Daniel Harabor, Peter J. Stuckey, Sven Koenig
2022	A*	`conf`	Multi-Agent Path Finding with Temporal Jump Point Search. ICAPS Shuli Hu, Daniel Damir Harabor, Graeme Gange, Peter J. Stuckey, Nathan R. Sturtevant
2021	J	`jnl`	A Fresh Look at Zones and Octagons. ACM Trans. Program. Lang. Syst. Graeme Gange, Zequn Ma, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2021	B	`conf`	Disjunctive Interval Analysis. SAS Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2021	B	`conf`	ECBS with Flex Distribution for Bounded-Suboptimal Multi-Agent Path Finding. SOCS Shao-Hung Chan, Jiaoyang Li, Graeme Gange, Daniel Harabor, Peter J. Stuckey, Sven Koenig
2021	A*	`conf`	Jump Point Search with Temporal Obstacles. ICAPS Shuli Hu, Daniel Damir Harabor, Graeme Gange, Peter J. Stuckey, Nathan R. Sturtevant
2021	B	`conf`	Lightweight Nontermination Inference with CHCs. SEFM Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2021	A*	`conf`	Optimising Automatic Calibration of Electric Muscle Stimulation. AAAI Graeme Gange, Jarrod Knibbe
2021	J	`jnl`	Pairwise symmetry reasoning for multi-agent path finding search. Artif. Intell. Jiaoyang Li, Daniel Harabor, Peter J. Stuckey, Hang Ma, Graeme Gange, Sven Koenig
2021	J	`jnl`	SLA-Based Profit Optimization Resource Scheduling for Big Data Analytics-as-a-Service Platforms in Cloud Computing Environments. IEEE Trans. Cloud Comput. Yali Zhao, Rodrigo N. Calheiros, Graeme Gange, James Bailey, Richard O. Sinnott
2021	J	`jnl`	Transformation-Enabled Precondition Inference. CoRR Bishoksan Kafle, Graeme Gange, Peter J. Stuckey, Peter Schachte, Harald Søndergaard
2021	J	`jnl`	Transformation-Enabled Precondition Inference. Theory Pract. Log. Program. Bishoksan Kafle, Graeme Gange, Peter J. Stuckey, Peter Schachte, Harald Søndergaard
2020	—	`conf`	Abstract Interpretation, Symbolic Execution and Constraints. Gabbrielli's Festschrift Roberto Amadini, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2020	C	`conf`	Algorithm Selection for Dynamic Symbolic Execution: A Preliminary Study. LOPSTR Roberto Amadini, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2020	A	`conf`	Core-Guided Model Reformulation. CP Kevin Leo, Graeme Gange, Maria Garcia de la Banda, Mark Wallace
2020	B	`conf`	Core-Guided and Core-Boosted Search for CP. CPAIOR Graeme Gange, Jeremias Berg, Emir Demirovic, Peter J. Stuckey
2020	A	`conf`	Dashed Strings and the Replace(-all) Constraint. CP Roberto Amadini, Graeme Gange, Peter J. Stuckey
2020	J	`jnl`	Dashed strings for string constraint solving. Artif. Intell. Roberto Amadini, Graeme Gange, Peter J. Stuckey
2020	A*	`conf`	New Techniques for Pairwise Symmetry Breaking in Multi-Agent Path Finding. ICAPS Jiaoyang Li, Graeme Gange, Daniel Harabor, Peter J. Stuckey, Hang Ma, Sven Koenig
2020	B	`conf`	New Techniques for Pairwise Symmetry Breaking in Multi-Agent Path Finding. SOCS Jiaoyang Li, Graeme Gange, Daniel Harabor, Peter J. Stuckey, Hang Ma, Sven Koenig
2020	J	`jnl`	Nutmeg: a MIP and CP Hybrid Solver Using Branch-and-Check. Oper. Res. Forum Edward Lam, Graeme Gange, Peter J. Stuckey, Pascal Van Hentenryck, Jip J. Dekker
2020	A	`conf`	String Constraint Solving: Past, Present and Future. ECAI Roberto Amadini, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2020	A	`conf`	The Argmax Constraint. CP Graeme Gange, Peter J. Stuckey
2019	J	`jnl`	Compiling CP subproblems to MDDs and d-DNNFs. Constraints An Int. J. Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey
2019	B	`conf`	Constraint Programming for Dynamic Symbolic Execution of JavaScript. CPAIOR Roberto Amadini, Mak Andrlon, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2019	B	`conf`	Dissecting Widening: Separating Termination from Information. APLAS Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2019	A*	`conf`	Lazy CBS: Implicit Conflict-Based Search Using Lazy Clause Generation. ICAPS Graeme Gange, Daniel Harabor, Peter J. Stuckey
2018	A	`conf`	A Fast and Scalable Algorithm for Scheduling Large Numbers of Devices Under Real-Time Pricing. CP Shan He, Mark Wallace, Graeme Gange, Ariel Liebman, Campbell Wilson
2018	J	`jnl`	An iterative approach to precondition inference using constrained Horn clauses. CoRR Bishoksan Kafle, John P. Gallagher, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2018	J	`jnl`	An iterative approach to precondition inference using constrained Horn clauses. Theory Pract. Log. Program. Bishoksan Kafle, John P. Gallagher, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2018	Misc	`conf`	Breaking Symmetries with Lex Implications. FLOPS Michael Codish, Thorsten Ehlers, Graeme Gange, Avraham Itzhakov, Peter J. Stuckey
2018	A*	`conf`	Machine Learning and Constraint Programming for Relational-To-Ontology Schema Mapping. IJCAI Diego de Uña, Nataliia Rümmele, Graeme Gange, Peter Schachte, Peter J. Stuckey
2018	B	`conf`	Optimal Sankey Diagrams Via Integer Programming. PacificVis David Cheng Zarate, Pierre Le Bodic, Tim Dwyer, Graeme Gange, Peter J. Stuckey
2018	J	`jnl`	Precondition Inference via Partitioning of Initial States. CoRR Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2018	A	`conf`	Propagating Regular Membership with Dashed Strings. CP Roberto Amadini, Graeme Gange, Peter J. Stuckey
2018	B	`conf`	Propagating lex, find and replace with Dashed Strings. CPAIOR Roberto Amadini, Graeme Gange, Peter J. Stuckey
2018	J	`jnl`	Reference Abstract Domains and Applications to String Analysis. Fundam. Informaticae Roberto Amadini, Graeme Gange, François Gauthier, Alexander Jordan, Peter Schachte, Harald Søndergaard, Peter J. Stuckey, Chenyi Zhang
2018	A	`conf`	Sequential Precede Chain for Value Symmetry Elimination. CP Graeme Gange, Peter J. Stuckey
2018	A*	`conf`	Sweep-Based Propagation for String Constraint Solving. AAAI Roberto Amadini, Graeme Gange, Peter J. Stuckey
2017	A	`conf`	A Benders Decomposition Approach to Deciding Modular Linear Integer Arithmetic. SAT Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2017	A	`conf`	A Novel Approach to String Constraint Solving. CP Roberto Amadini, Graeme Gange, Peter J. Stuckey, Guido Tack
2017	A*	`conf`	Automatic Logic-Based Benders Decomposition with MiniZinc. AAAI Toby O. Davies, Graeme Gange, Peter J. Stuckey
2017	—	`conf`	Combining String Abstract Domains for JavaScript Analysis: An Evaluation. TACAS (1) Roberto Amadini, Alexander Jordan, Graeme Gange, François Gauthier, Peter Schachte, Harald Søndergaard, Peter J. Stuckey, Chenyi Zhang
2017	B	`conf`	Fixing the State Budget: Approximation of Regular Languages with Small DFAs. ATVA Graeme Gange, Pierre Ganty, Peter J. Stuckey
2017	B	`conf`	Minimizing Landscape Resistance for Habitat Conservation. CPAIOR Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey
2016	A	`conf`	A Bounded Path Propagator on Directed Graphs. CP Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey
2016	J	`jnl`	A complete refinement procedure for regular separability of context-free languages. Theor. Comput. Sci. Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2016	B	`conf`	An Abstract Domain of Uninterpreted Functions. VMCAI Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2016	A	`conf`	Breaking Symmetries in Graphs: The Nauty Way. CP Michael Codish, Graeme Gange, Avraham Itzhakov, Peter J. Stuckey
2016	—	`conf`	Constraint Propagation and Explanation over Novel Types by Abstract Compilation. ICLP (Technical Communications) Graeme Gange, Peter J. Stuckey
2016	B	`conf`	Exploiting Sparsity in Difference-Bound Matrices. SAS Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2016	J	`jnl`	High-Quality Ultra-Compact Grid Layout of Grouped Networks. IEEE Trans. Vis. Comput. Graph. Vahan Yoghourdjian, Tim Dwyer, Graeme Gange, Steve Kieffer, Karsten Klein, Kim Marriott
2016	B	`conf`	Lagrangian Decomposition via Sub-problem Search. CPAIOR Geoffrey Chu, Graeme Gange, Peter J. Stuckey
2016	B	`conf`	On CNF Encodings of Decision Diagrams. CPAIOR Ignasi Abío, Graeme Gange, Valentin Mayer-Eichberger, Peter J. Stuckey
2016	A*	`conf`	Steiner Tree Problems with Side Constraints Using Constraint Programming. AAAI Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey
2016	B	`conf`	Weighted Spanning Tree Constraint with Explanations. CPAIOR Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey
2015	—	`conf`	A Tool for Intersecting Context-Free Grammars and Its Applications. NFM Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2015	J	`jnl`	Automatic Minimal-Height Table Layout. INFORMS J. Comput. Mihai Bilauca, Graeme Gange, Patrick Healy, Kim Marriott, Peter Moulder, Peter J. Stuckey
2015	J	`jnl`	Horn Clauses as an Intermediate Representation for Program Analysis and Transformation. CoRR Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2015	J	`jnl`	Horn clauses as an intermediate representation for program analysis and transformation. Theory Pract. Log. Program. Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2015	B	`conf`	SLA-Based Resource Scheduling for Big Data Analytics as a Service in Cloud Computing Environments. ICPP Yali Zhao, Rodrigo N. Calheiros, Graeme Gange, Kotagiri Ramamohanarao, Rajkumar Buyya
2014	J	`jnl`	A Complete Refinement Procedure for Regular Separability of Context-Free Languages. CoRR Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2014	J	`jnl`	A Partial-Order Approach to Array Content Analysis. CoRR Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2014	C	`conf`	Analyzing Array Manipulating Programs by Program Transformation. LOPSTR J. Robert M. Cornish, Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2014	J	`jnl`	Fast Set Bounds Propagation Using a BDD-SAT Hybrid. CoRR Graeme Gange, Peter James Stuckey, Vitaly Lagoon
2014	J	`jnl`	Four-Valued Reasoning and Cyclic Circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Graeme Gange, Benjamin Horsfall, Lee Naish, Harald Søndergaard
2014	J	`jnl`	Interval Analysis and Machine Arithmetic: Why Signedness Ignorance Is Bliss. ACM Trans. Program. Lang. Syst. Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2014	J	`jnl`	Synthesizing Optimal Switching Lattices. ACM Trans. Design Autom. Electr. Syst. Graeme Gange, Harald Søndergaard, Peter J. Stuckey
2013	B	`conf`	Abstract Interpretation over Non-lattice Abstract Domains. SAS Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2013	A	`conf`	Explaining Propagators for Edge-Valued Decision Diagrams. CP Graeme Gange, Peter J. Stuckey, Pascal Van Hentenryck
2013	J	`jnl`	Failure tabled constraint logic programming by interpolation. Theory Pract. Log. Program. Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2013	A	`conf`	Solving Difference Constraints over Modular Arithmetic. CADE Graeme Gange, Harald Søndergaard, Peter J. Stuckey, Peter Schachte
2013	A	`conf`	Unbounded Model-Checking with Interpolation for Regular Language Constraints. TACAS Graeme Gange, Jorge A. Navas, Peter J. Stuckey, Harald Søndergaard, Peter Schachte
2012	—	`—`	Combinatorial reasoning for sets, graphs and document composition. Graeme Gange
2012	B	`conf`	Explaining Propagators for s-DNNF Circuits. CPAIOR Graeme Gange, Peter J. Stuckey
2012	B	`conf`	Optimal guillotine layout. ACM Symposium on Document Engineering Graeme Gange, Kim Marriott, Peter J. Stuckey
2011	J	`jnl`	MDD propagators with explanation. Constraints An Int. J. Graeme Gange, Peter J. Stuckey, Radoslaw Szymanek
2011	B	`conf`	Optimal automatic table layout. ACM Symposium on Document Engineering Graeme Gange, Kim Marriott, Peter Moulder, Peter J. Stuckey
2010	J	`jnl`	Fast Set Bounds Propagation Using a BDD-SAT Hybrid. J. Artif. Intell. Res. Graeme Gange, Peter J. Stuckey, Vitaly Lagoon
2010	A	`conf`	Optimal GD Graeme Gange, Peter J. Stuckey, Kim Marriott
2008	A	`conf`	Fast Set Bounds Propagation using BDDs. ECAI Graeme Gange, Vitaly Lagoon, Peter J. Stuckey
2008	C	`conf`	Smooth Linear Approximation of Non-overlap Constraints. Diagrams Graeme Gange, Kim Marriott, Peter J. Stuckey