Guido Tack

Dataset, May, 2024

MiniZinc.

[BibT_eX]

[DOI]

Dataset, February, 2024

ALAN: Assessment-as-Learning Authentic Tasks for Networking.

[BibT_eX]

[DOI]

Proceedings of the 55th ACM Technical Symposium on Computer Science Education, 2024

Single Constant Multiplication for SAT.

[BibT_eX]

[DOI]

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

2023

MiniZinc.

[BibT_eX]

[DOI]

Dataset, December, 2023

MiniZinc.

[BibT_eX]

[DOI]

Dataset, November, 2023

MiniZinc.

[BibT_eX]

[DOI]

Dataset, November, 2023

MiniZinc.

[BibT_eX]

[DOI]

Dataset, June, 2023

MiniZinc.

[BibT_eX]

[DOI]

Dataset, June, 2023

MiniZinc.

[BibT_eX]

[DOI]

Dataset, May, 2023

MiniZinc.

[BibT_eX]

[DOI]

Dataset, April, 2023

MiniZinc.

[BibT_eX]

[DOI]

Dataset, April, 2023

MiniZinc.

[BibT_eX]

[DOI]

Dataset, March, 2023

MiniZinc.

[BibT_eX]

[DOI]

Sameela Suharshani Wijesundara

Dataset, February, 2023

Addressing Problem Drift in UNHCR Fund Allocation.

[BibT_eX]

[DOI]

Proceedings of the 29th International Conference on Principles and Practice of Constraint Programming, 2023

2022

MiniZinc.

[BibT_eX]

[DOI]

Dataset, June, 2022

Increasing User Trust in Optimisation through Feedback and Interaction.

[BibT_eX]

[DOI]

ACM Trans. Comput. Hum. Interact., 2022

Comparison and Evaluation of Methods for a Predict+Optimize Problem in Renewable Energy.

[BibT_eX]

[DOI]

CoRR, 2022

Enhanced Methods for the Weight Constrained Shortest Path Problem: Constrained Path Finding Meets Bi-objective Search.

[BibT_eX]

[DOI]

CoRR, 2022

Globalizing constraint models.

[BibT_eX]

[DOI]

Artif. Intell., 2022

Weight Constrained Path Finding with Bidirectional A.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth International Symposium on Combinatorial Search, 2022

Enumerated Types and Type Extensions for MiniZinc.

[BibT_eX]

[DOI]

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

Coupling Different Integer Encodings for SAT.

[BibT_eX]

[DOI]

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

Explaining Propagation for Gini and Spread with Variable Mean.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Principles and Practice of Constraint Programming, 2022

2021

Supporting the Problem-Solving Loop: Designing Highly Interactive Optimisation Systems.

[BibT_eX]

[DOI]

IEEE Trans. Vis. Comput. Graph., 2021

The Added Value of Coordinating Inverter Control.

[BibT_eX]

[DOI]

IEEE Trans. Smart Grid, 2021

Versatile and Robust Transient Stability Assessment via Instance Transfer Learning.

[BibT_eX]

[DOI]

CoRR, 2021

Bi-Objective Search with Bi-directional A* (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Fourteenth International Symposium on Combinatorial Search, 2021

Bi-Objective Search with Bi-Directional A.

[BibT_eX]

[DOI]

Proceedings of the 29th Annual European Symposium on Algorithms, 2021

Vehicle Dynamics in Pickup-And-Delivery Problems Using Electric Vehicles.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021

A Fast Exact Algorithm for the Resource Constrained Shortest Path Problem.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Data-Driven Security Assessment of the Electric Power System.

[BibT_eX]

[DOI]

Seyedali Meghdadi

Ariel Liebman

CoRR, 2020

Interaction Between Coordinated and Droop Control PV Inverters.

[BibT_eX]

[DOI]

Proceedings of the e-Energy '20: The Eleventh ACM International Conference on Future Energy Systems, 2020

Aggregation and Garbage Collection for Online Optimization.

[BibT_eX]

[DOI]

Alexander Ek

Andreas Schutt

Proceedings of the Principles and Practice of Constraint Programming, 2020

Solving Satisfaction Problems Using Large-Neighbourhood Search.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2020

Modelling Diversity of Solutions.

[BibT_eX]

[DOI]

Linnea Ingmar

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

Modelling and Solving Online Optimisation Problems.

[BibT_eX]

[DOI]

Alexander Ek

Andreas Schutt

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Compiling Conditional Constraints.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2019

2018

Solution Dominance over Constraint Satisfaction Problems.

[BibT_eX]

[DOI]

Tias Guns

CoRR, 2018

Declarative Local-Search Neighbourhoods in MiniZinc.

[BibT_eX]

[DOI]

Proceedings of the IEEE 30th International Conference on Tools with Artificial Intelligence, 2018

Towards Semi-Automatic Learning-Based Model Transformation.

[BibT_eX]

[DOI]

Kiana Zeighami

Proceedings of the Principles and Practice of Constraint Programming, 2018

Solver-Independent Large Neighbourhood Search.

[BibT_eX]

[DOI]

Jip J. Dekker

Andreas Schutt

Proceedings of the Principles and Practice of Constraint Programming, 2018

A Recursive Scenario Decomposition Algorithm for Combinatorial Multistage Stochastic Optimisation Problems.

[BibT_eX]

[DOI]

David Hemmi

Mark Wallace

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

2017

What do Constraint Programming Users Want to See? Exploring the Role of Visualisation in Profiling of Models and Search.

[BibT_eX]

[DOI]

Sarah Goodwin

Tim Dwyer

Mark Wallace

IEEE Trans. Vis. Comput. Graph., 2017

PhD theses in constraints.

[BibT_eX]

[DOI]

Constraints An Int. J., 2017

Introduction to the special issue on Combining Constraint Solving with Mining and Learning.

[BibT_eX]

[DOI]

Andrea Passerini

Tias Guns

Artif. Intell., 2017

MiningZinc: A declarative framework for constraint-based mining.

[BibT_eX]

[DOI]

Artif. Intell., 2017

Debugging Unsatisfiable Constraint Models.

[BibT_eX]

[DOI]

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

Scenario-Based Learning for Stochastic Combinatorial Optimisation.

[BibT_eX]

[DOI]

David Hemmi

Mark Wallace

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

2016

Visual search tree profiling.

[BibT_eX]

[DOI]

Maxim Shishmarev

Constraints An Int. J., 2016

MiniZinc with Strings.

[BibT_eX]

[DOI]

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

Learning from Learning Solvers.

[BibT_eX]

[DOI]

Maxim Shishmarev

Proceedings of the Principles and Practice of Constraint Programming, 2016

Improved Linearization of Constraint Programming Models.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2016

2015

PhD theses in constraints 2012-2015.

[BibT_eX]

[DOI]

Constraints An Int. J., 2015

Multi-Pass High-Level Presolving.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Optimised Robust Treatment Plans for Prostate Cancer Focal Brachytherapy.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Computational Science, 2015

MiniSearch: A Solver-Independent Meta-Search Language for MiniZinc.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2015

2014

The MiniZinc Challenge 2008-2013.

[BibT_eX]

[DOI]

AI Mag., 2014

Modelling with Option Types in MiniZinc.

[BibT_eX]

[DOI]

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

View-Based Propagator Derivation - (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2014

Stochastic MiniZinc.

[BibT_eX]

[DOI]

Andrea Rendl

Proceedings of the Principles and Practice of Constraint Programming, 2014

2013

View-based propagator derivation.

[BibT_eX]

[DOI]

Constraints An Int. J., 2013

Search combinators.

[BibT_eX]

[DOI]

Constraints An Int. J., 2013

MiningZinc: A Modeling Language for Constraint-Based Mining.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

The MiningZinc Framework for Constraint-Based Itemset Mining.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Data Mining Workshops, 2013

MiniZinc with Functions.

[BibT_eX]

[DOI]

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2013

Automated Design of Search with Composability.

[BibT_eX]

[DOI]

Proceedings of the Late-Breaking Developments in the Field of Artificial Intelligence, 2013

2012

An Introduction to Search Combinators.

[BibT_eX]

[DOI]

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

2011

Memoizing a Monadic Mixin DSL.

[BibT_eX]

[DOI]

Proceedings of the Functional and Constraint Logic Programming, 2011

2009

Constraint propagation: models, techniques, implementation.

[BibT_eX]

[DOI]

PhD thesis, 2009

Weakly Monotonic Propagators.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2009

Maintaining State in Propagation Solvers.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2009

2008

Perfect Derived Propagators.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2008

2007

Decomposition During Search for Propagation-Based Constraint Solvers

[BibT_eX]

[DOI]

Martin Mann

Sebastian Will

CoRR, 2007

Status report: hot pickles, and how to serve them.

[BibT_eX]

[DOI]

Andreas Rossberg

Leif Kornstaedt

Proceedings of the ACM Workshop on ML, 2007, Freiburg, Germany, October 5, 2007, 2007

MiniZinc: Towards a Standard CP Modelling Language.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2007

2006

Generating Propagators for Finite Set Constraints.

[BibT_eX]

[DOI]

Gert Smolka

Proceedings of the Principles and Practice of Constraint Programming, 2006

2005

Generic Pickling and Minimization.

[BibT_eX]

[DOI]

Leif Kornstaedt

Gert Smolka

Proceedings of the ACM-SIGPLAN Workshop on ML, 2005

Views and Iterators for Generic Constraint Implementations.

[BibT_eX]

[DOI]

Proceedings of the Recent Advances in Constraints, 2005

2004

Alice through the looking glass.

[BibT_eX]

Proceedings of the Revised Selected Papers from the Fifth Symposium on Trends in Functional Programming, 2004

Compositional Abstractions for Search Factories.

[BibT_eX]

[DOI]