Guido Tack

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Enhanced methods for the weight constrained shortest path problem Networks	2024-07-03	Paper
scientific article; zbMATH DE number 7740858 (Why is no real title available?) (available as arXiv preprint)	2023-09-20	Paper
Coupling different integer encodings for SAT	2022-08-30	Paper
Enumerated types and type extensions for MiniZinc	2022-08-30	Paper
Reducing the Unfairness of Coordinated Inverter Dispatch in PV-Rich Distribution Networks	2020-02-13	Paper
The Added Value of Coordinating Inverter Control	2020-02-13	Paper
MiniZinc with strings	2017-10-13	Paper
MiniZinc with strings (available as arXiv preprint)	2017-10-13	Paper
Scenario-based learning for stochastic combinatorial optimisation	2017-08-04	Paper
Debugging unsatisfiable constraint models	2017-08-04	Paper
MiningZinc: a declarative framework for constraint-based mining Artificial Intelligence	2017-02-22	Paper
Visual search tree profiling Constraints	2016-04-12	Paper
View-based propagator derivation Constraints	2015-04-29	Paper
Search combinators Constraints	2015-01-22	Paper
Search combinators Constraints	2015-01-22	Paper
Modelling with option types in MiniZinc Integration of AI and OR Techniques in Constraint Programming	2014-05-27	Paper
An introduction to search combinators Logic-Based Program Synthesis and Transformation	2013-09-13	Paper
MiniZinc with functions Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems	2013-06-04	Paper
Generating Propagators for Finite Set Constraints Principles and Practice of Constraint Programming - CP 2006	2008-09-09	Paper
Recent Advances in Constraints Lecture Notes in Computer Science	2007-05-02	Paper

Research outcomes over time

This page was built for person: Guido Tack