Graeme Gange

Jeremias Berg

Emir Demirovic

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2020

Core-Guided Model Reformulation.

[BibT_eX]

[DOI]

Kevin Leo

Maria Garcia de la Banda

Mark Wallace

Proceedings of the Principles and Practice of Constraint Programming, 2020

The Argmax Constraint.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2020

Dashed Strings and the Replace(-all) Constraint.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2020

Abstract Interpretation, Symbolic Execution and Constraints.

[BibT_eX]

[DOI]

Proceedings of the Recent Developments in the Design and Implementation of Programming Languages, 2020

New Techniques for Pairwise Symmetry Breaking in Multi-Agent Path Finding.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, 2020

2019

Compiling CP subproblems to MDDs and d-DNNFs.

[BibT_eX]

[DOI]

Constraints An Int. J., 2019

Constraint Programming for Dynamic Symbolic Execution of JavaScript.

[BibT_eX]

[DOI]

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2019

Dissecting Widening: Separating Termination from Information.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019

Lazy CBS: Implicit Conflict-Based Search Using Lazy Clause Generation.

[BibT_eX]

[DOI]

Daniel Harabor

Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019

2018

An iterative approach to precondition inference using constrained Horn clauses.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2018

Reference Abstract Domains and Applications to String Analysis.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2018

Precondition Inference via Partitioning of Initial States.

[BibT_eX]

[DOI]

CoRR, 2018

Machine Learning and Constraint Programming for Relational-To-Ontology Schema Mapping.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Breaking Symmetries with Lex Implications.

[BibT_eX]

[DOI]

Proceedings of the Functional and Logic Programming - 14th International Symposium, 2018

Propagating lex, find and replace with Dashed Strings.

[BibT_eX]

[DOI]

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2018

A Fast and Scalable Algorithm for Scheduling Large Numbers of Devices Under Real-Time Pricing.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2018

Sequential Precede Chain for Value Symmetry Elimination.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2018

Propagating Regular Membership with Dashed Strings.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2018

Optimal Sankey Diagrams Via Integer Programming.

[BibT_eX]

[DOI]

Proceedings of the IEEE Pacific Visualization Symposium, 2018

Sweep-Based Propagation for String Constraint Solving.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Combining String Abstract Domains for JavaScript Analysis: An Evaluation.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

A Benders Decomposition Approach to Deciding Modular Linear Integer Arithmetic.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28, 2017

Minimizing Landscape Resistance for Habitat Conservation.

[BibT_eX]

[DOI]

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2017

A Novel Approach to String Constraint Solving.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2017

Fixing the State Budget: Approximation of Regular Languages with Small DFAs.

[BibT_eX]

[DOI]

Pierre Ganty

Proceedings of the Automated Technology for Verification and Analysis, 2017

Automatic Logic-Based Benders Decomposition with MiniZinc.

[BibT_eX]

[DOI]

Toby O. Davies

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

High-Quality Ultra-Compact Grid Layout of Grouped Networks.

[BibT_eX]

[DOI]

IEEE Trans. Vis. Comput. Graph., 2016

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

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2016

An Abstract Domain of Uninterpreted Functions.

[BibT_eX]

[DOI]

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

Exploiting Sparsity in Difference-Bound Matrices.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 23rd International Symposium, 2016

Constraint Propagation and Explanation over Novel Types by Abstract Compilation.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming, 2016

Weighted Spanning Tree Constraint with Explanations.

[BibT_eX]

[DOI]

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2016

Lagrangian Decomposition via Sub-problem Search.

[BibT_eX]

[DOI]

Geoffrey Chu

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2016

On CNF Encodings of Decision Diagrams.

[BibT_eX]

[DOI]

Ignasi Abío

Valentin Mayer-Eichberger

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2016

A Bounded Path Propagator on Directed Graphs.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2016

Breaking Symmetries in Graphs: The Nauty Way.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2016

Steiner Tree Problems with Side Constraints Using Constraint Programming.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

Horn clauses as an intermediate representation for program analysis and transformation.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2015

Automatic Minimal-Height Table Layout.

[BibT_eX]

[DOI]

INFORMS J. Comput., 2015

A Tool for Intersecting Context-Free Grammars and Its Applications.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

SLA-Based Resource Scheduling for Big Data Analytics as a Service in Cloud Computing Environments.

[BibT_eX]

[DOI]

Yali Zhao

Rodrigo N. Calheiros

Kotagiri Ramamohanarao

Rajkumar Buyya

Proceedings of the 44th International Conference on Parallel Processing, 2015

2014

Interval Analysis and Machine Arithmetic: Why Signedness Ignorance Is Bliss.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2014

Synthesizing Optimal Switching Lattices.

[BibT_eX]

[DOI]

Harald Søndergaard

ACM Trans. Design Autom. Electr. Syst., 2014

Four-Valued Reasoning and Cyclic Circuits.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2014

A Partial-Order Approach to Array Content Analysis.

[BibT_eX]

[DOI]

CoRR, 2014

Analyzing Array Manipulating Programs by Program Transformation.

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2014

2013

Failure tabled constraint logic programming by interpolation.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2013

Unbounded Model-Checking with Interpolation for Regular Language Constraints.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Abstract Interpretation over Non-lattice Abstract Domains.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 20th International Symposium, 2013

Explaining Propagators for Edge-Valued Decision Diagrams.

[BibT_eX]

[DOI]

Pascal Van Hentenryck

Proceedings of the Principles and Practice of Constraint Programming, 2013

Solving Difference Constraints over Modular Arithmetic.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE-24, 2013

2012

Combinatorial reasoning for sets, graphs and document composition.

[BibT_eX]

[DOI]

PhD thesis, 2012

Optimal guillotine layout.

[BibT_eX]

[DOI]

Kim Marriott

Proceedings of the ACM Symposium on Document Engineering, 2012

Explaining Propagators for s-DNNF Circuits.

[BibT_eX]

[DOI]

Proceedings of the Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems, 2012

2011

MDD propagators with explanation.

[BibT_eX]

[DOI]

Radoslaw Szymanek

Constraints An Int. J., 2011

Optimal automatic table layout.

[BibT_eX]

[DOI]

Proceedings of the 2011 ACM Symposium on Document Engineering, 2011

2010

Fast Set Bounds Propagation Using a BDD-SAT Hybrid.

[BibT_eX]

[DOI]

Vitaly Lagoon

J. Artif. Intell. Res., 2010

Optimal <i>k</i>-Level Planarization and Crossing Minimization.

[BibT_eX]

[DOI]

Kim Marriott

Proceedings of the Graph Drawing - 18th International Symposium, 2010

2008

Fast Set Bounds Propagation using BDDs.

[BibT_eX]

[DOI]

Vitaly Lagoon

Proceedings of the ECAI 2008, 2008

Smooth Linear Approximation of Non-overlap Constraints.

[BibT_eX]

[DOI]

Kim Marriott