Guido Tack - RankMe

88 papers A* 7A 24B 9C 2Misc 1Journal 31Unranked 11

Year	Rank	Type	Title / Venue / Authors
2025	—	`ed.`	Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10-13, 2025, Proceedings, Part I CPAIOR (1) Guido Tack
2025	—	`ed.`	Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10-13, 2025, Proceedings, Part II CPAIOR (2) Guido Tack
2025	J	`jnl`	MiniZinc with objects. Constraints An Int. J. Guido Tack, Richard Comploi-Taupe, Andreas A. Falkner, Gottfried Schenner
2025	J	`jnl`	Predict+Optimize Problem in Renewable Energy Scheduling. IEEE Access Christoph Bergmeir, Frits de Nijs, Evgenii Genov, Abishek Sriramulu, Mahdi Abolghasemi, Richard Bean, John M. Betts, Quang Bui, Nam Trong Dinh, Nils Einecke, Rasul Esmaeilbeigi, Scott Ferraro, Priya Galketiya, Robert Glasgow, Rakshitha Godahewa, Yanfei Kang, Steffen Limmer, Luis Magdalena, Pablo Montero-Manso, Daniel Peralta, Yogesh Pipada Sunil Kumar, Alejandro Rosales-Pérez, Julian Ruddick, Akylas C. Stratigakos, Peter J. Stuckey, Guido Tack, Isaac Triguero, Rui Yuan
2025	A*	`conf`	Resource Constrained Pathfinding with Enhanced Bidirectional A* Search. AAAI Saman Ahmadi, Andrea Raith, Guido Tack, Mahdi Jalili
2025	A	`conf`	Unit Types for MiniZinc. CP Jip J. Dekker, Jason Nguyen, Peter J. Stuckey, Guido Tack
2024	—	`conf`	ALAN: Assessment-as-Learning Authentic Tasks for Networking. SIGCSE (1) Sepehr Minagar, Amin Sakzad, Guido Tack, Carsten Rudolph, Judithe Sheard
2024	J	`jnl`	Enhanced methods for the weight constrained shortest path problem. Networks Saman Ahmadi, Guido Tack, Daniel Harabor, Philip Kilby, Mahdi Jalili
2024	J	`jnl`	Real-Time Energy-Optimal Path Planning for Electric Vehicles. CoRR Saman Ahmadi, Guido Tack, Daniel Harabor, Philip Kilby, Mahdi Jalili
2024	J	`jnl`	Resource Constrained Pathfinding with Enhanced Bidirectional A* Search. CoRR Saman Ahmadi, Andrea Raith, Guido Tack, Mahdi Jalili
2024	—	`conf`	Single Constant Multiplication for SAT. CPAIOR (1) Hendrik Bierlee, Jip J. Dekker, Vitaly Lagoon, Peter J. Stuckey, Guido Tack
2023	A	`conf`	Addressing Problem Drift in UNHCR Fund Allocation. CP Sameela Suharshani Wijesundara, Maria Garcia de la Banda, Guido Tack
2022	J	`jnl`	Comparison and Evaluation of Methods for a Predict+Optimize Problem in Renewable Energy. CoRR Christoph Bergmeir, Frits de Nijs, Abishek Sriramulu, Mahdi Abolghasemi, Richard Bean, John M. Betts, Quang Bui, Nam Trong Dinh, Nils Einecke, Rasul Esmaeilbeigi, Scott Ferraro, Priya Galketiya, Evgenii Genov, Robert Glasgow, Rakshitha Godahewa, Yanfei Kang, Steffen Limmer, Luis Magdalena, Pablo Montero-Manso, Daniel Peralta, Yogesh Pipada Sunil Kumar, Alejandro Rosales-Pérez, Julian Ruddick, Akylas C. Stratigakos, Peter J. Stuckey, Guido Tack, Isaac Triguero, Rui Yuan
2022	B	`conf`	Coupling Different Integer Encodings for SAT. CPAIOR Hendrik Bierlee, Graeme Gange, Guido Tack, Jip J. Dekker, Peter J. Stuckey
2022	J	`jnl`	Enhanced Methods for the Weight Constrained Shortest Path Problem: Constrained Path Finding Meets Bi-objective Search. CoRR Saman Ahmadi, Guido Tack, Daniel Harabor, Philip Kilby
2022	B	`conf`	Enumerated Types and Type Extensions for MiniZinc. CPAIOR Peter J. Stuckey, Guido Tack
2022	A	`conf`	Explaining Propagation for Gini and Spread with Variable Mean. CP Alexander Ek, Andreas Schutt, Peter J. Stuckey, Guido Tack
2022	J	`jnl`	Globalizing constraint models. Artif. Intell. Kevin Leo, Christopher Mears, Guido Tack, Maria Garcia de la Banda
2022	J	`jnl`	Increasing User Trust in Optimisation through Feedback and Interaction. ACM Trans. Comput. Hum. Interact. Jie Liu, Kim Marriott, Tim Dwyer, Guido Tack
2022	B	`conf`	Weight Constrained Path Finding with Bidirectional A. SOCS Saman Ahmadi, Guido Tack, Daniel Harabor, Philip Kilby
2021	A*	`conf`	A Fast Exact Algorithm for the Resource Constrained Shortest Path Problem. AAAI Saman Ahmadi, Guido Tack, Daniel Damir Harabor, Philip Kilby
2021	A	`conf`	Bi-Objective Search with Bi-Directional A. ESA Saman Ahmadi, Guido Tack, Daniel Harabor, Philip Kilby
2021	B	`conf`	Bi-Objective Search with Bi-directional A* (Extended Abstract). SOCS Saman Ahmadi, Guido Tack, Daniel Harabor, Philip Kilby
2021	J	`jnl`	Bi-objective Search with Bi-directional A. CoRR Saman Ahmadi, Guido Tack, Daniel Harabor, Philip Kilby
2021	J	`jnl`	Supporting the Problem-Solving Loop: Designing Highly Interactive Optimisation Systems. IEEE Trans. Vis. Comput. Graph. Jie Liu, Tim Dwyer, Guido Tack, Samuel Gratzl, Kim Marriott
2021	J	`jnl`	The Added Value of Coordinating Inverter Control. IEEE Trans. Smart Grid Peter Lusis, Lachlan L. H. Andrew, Ariel Liebman, Guido Tack
2021	A	`conf`	Vehicle Dynamics in Pickup-And-Delivery Problems Using Electric Vehicles. CP Saman Ahmadi, Guido Tack, Daniel Harabor, Philip Kilby
2021	J	`jnl`	Versatile and Robust Transient Stability Assessment via Instance Transfer Learning. CoRR Seyedali Meghdadi, Guido Tack, Ariel Liebman, Nicolas Langrené, Christoph Bergmeir
2020	A	`conf`	Aggregation and Garbage Collection for Online Optimization. CP Alexander Ek, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack
2020	J	`jnl`	Data-Driven Security Assessment of the Electric Power System. CoRR Seyedali Meghdadi, Guido Tack, Ariel Liebman
2020	—	`conf`	Interaction Between Coordinated and Droop Control PV Inverters. e-Energy Peter Lusis, Lachlan L. H. Andrew, Ariel Liebman, Guido Tack
2020	J	`jnl`	Interaction Between Coordinated and Droop Control PV Inverters. CoRR Peter Lusis, Lachlan L. H. Andrew, Ariel Liebman, Guido Tack
2020	A*	`conf`	Modelling Diversity of Solutions. AAAI Linnea Ingmar, Maria Garcia de la Banda, Peter J. Stuckey, Guido Tack
2020	A*	`conf`	Modelling and Solving Online Optimisation Problems. AAAI Alexander Ek, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack
2020	A	`conf`	Solving Satisfaction Problems Using Large-Neighbourhood Search. CP Gustav Björdal, Pierre Flener, Justin Pearson, Peter J. Stuckey, Guido Tack
2020	J	`jnl`	Supporting the Problem-Solving Loop: Designing Highly Interactive Optimisation Systems. CoRR Jie Liu, Tim Dwyer, Guido Tack, Samuel Gratzl, Kim Marriott
2019	A	`conf`	Compiling Conditional Constraints. CP Peter J. Stuckey, Guido Tack
2018	A*	`conf`	A Recursive Scenario Decomposition Algorithm for Combinatorial Multistage Stochastic Optimisation Problems. AAAI David Hemmi, Guido Tack, Mark Wallace
2018	B	`conf`	Declarative Local-Search Neighbourhoods in MiniZinc. ICTAI Gustav Björdal, Pierre Flener, Justin Pearson, Peter J. Stuckey, Guido Tack
2018	J	`jnl`	Solution Dominance over Constraint Satisfaction Problems. CoRR Tias Guns, Peter J. Stuckey, Guido Tack
2018	A	`conf`	Solver-Independent Large Neighbourhood Search. CP Jip J. Dekker, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack
2018	A	`conf`	Towards Semi-Automatic Learning-Based Model Transformation. CP Kiana Zeighami, Kevin Leo, Guido Tack, Maria Garcia de la Banda
2017	A	`conf`	A Novel Approach to String Constraint Solving. CP Roberto Amadini, Graeme Gange, Peter J. Stuckey, Guido Tack
2017	B	`conf`	Debugging Unsatisfiable Constraint Models. CPAIOR Kevin Leo, Guido Tack
2017	J	`jnl`	Introduction to the special issue on Combining Constraint Solving with Mining and Learning. Artif. Intell. Andrea Passerini, Guido Tack, Tias Guns
2017	J	`jnl`	MiningZinc: A declarative framework for constraint-based mining. Artif. Intell. Tias Guns, Anton Dries, Siegfried Nijssen, Guido Tack, Luc De Raedt
2017	J	`jnl`	PhD theses in constraints. Constraints An Int. J. Guido Tack, Christopher Mears
2017	B	`conf`	Scenario-Based Learning for Stochastic Combinatorial Optimisation. CPAIOR David Hemmi, Guido Tack, Mark Wallace
2017	J	`jnl`	What do Constraint Programming Users Want to See? Exploring the Role of Visualisation in Profiling of Models and Search. IEEE Trans. Vis. Comput. Graph. Sarah Goodwin, Christopher Mears, Tim Dwyer, Maria Garcia de la Banda, Guido Tack, Mark Wallace
2016	A	`conf`	Improved Linearization of Constraint Programming Models. CP Gleb Belov, Peter J. Stuckey, Guido Tack, Mark Wallace
2016	A	`conf`	Learning from Learning Solvers. CP Maxim Shishmarev, Christopher Mears, Guido Tack, Maria Garcia de la Banda
2016	C	`conf`	MiniZinc with Strings. LOPSTR Roberto Amadini, Pierre Flener, Justin Pearson, Joseph D. Scott, Peter J. Stuckey, Guido Tack
2016	J	`jnl`	MiniZinc with Strings. CoRR Roberto Amadini, Pierre Flener, Justin Pearson, Joseph D. Scott, Peter J. Stuckey, Guido Tack
2016	J	`jnl`	Visual search tree profiling. Constraints An Int. J. Maxim Shishmarev, Christopher Mears, Guido Tack, Maria Garcia de la Banda
2015	A	`conf`	MiniSearch: A Solver-Independent Meta-Search Language for MiniZinc. CP Andrea Rendl, Tias Guns, Peter J. Stuckey, Guido Tack
2015	A*	`conf`	Multi-Pass High-Level Presolving. IJCAI Kevin Leo, Guido Tack
2015	Misc	`conf`	Optimised Robust Treatment Plans for Prostate Cancer Focal Brachytherapy. ICCS John M. Betts, Christopher Mears, Hayley M. Reynolds, Guido Tack, Kevin Leo, Martin A. Ebert, Annette Haworth
2015	J	`jnl`	PhD theses in constraints 2012-2015. Constraints An Int. J. Guido Tack, Christopher Mears
2014	B	`conf`	Modelling with Option Types in MiniZinc. CPAIOR Christopher Mears, Andreas Schutt, Peter J. Stuckey, Guido Tack, Kim Marriott, Mark Wallace
2014	A	`conf`	Stochastic MiniZinc. CP Andrea Rendl, Guido Tack, Peter J. Stuckey
2014	J	`jnl`	The MiniZinc Challenge 2008-2013. AI Mag. Peter J. Stuckey, Thibaut Feydy, Andreas Schutt, Guido Tack, Julien Fischer
2014	A	`conf`	View-Based Propagator Derivation - (Extended Abstract). CP Christian Schulte, Guido Tack
2013	—	`conf`	Automated Design of Search with Composability. AAAI (Late-Breaking Developments) Ashish Sabharwal, Horst Samulowitz, Tom Schrijvers, Peter J. Stuckey, Guido Tack
2013	A	`conf`	Globalizing Constraint Models. CP Kevin Leo, Christopher Mears, Guido Tack, Maria Garcia de la Banda
2013	B	`conf`	MiniZinc with Functions. CPAIOR Peter J. Stuckey, Guido Tack
2013	A*	`conf`	MiningZinc: A Modeling Language for Constraint-Based Mining. IJCAI Tias Guns, Anton Dries, Guido Tack, Siegfried Nijssen, Luc De Raedt
2013	J	`jnl`	Search combinators. Constraints An Int. J. Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey
2013	—	`conf`	The MiningZinc Framework for Constraint-Based Itemset Mining. ICDM Workshops Tias Guns, Anton Dries, Guido Tack, Siegfried Nijssen, Luc De Raedt
2013	J	`jnl`	View-based propagator derivation. Constraints An Int. J. Christian Schulte, Guido Tack
2012	C	`conf`	An Introduction to Search Combinators. LOPSTR Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey
2012	J	`jnl`	Search Combinators CoRR Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey
2011	—	`conf`	Memoizing a Monadic Mixin DSL. WFLP Pieter Wuille, Tom Schrijvers, Horst Samulowitz, Guido Tack, Peter J. Stuckey
2011	A	`conf`	Search Combinators. CP Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey
2009	—	`—`	Constraint propagation: models, techniques, implementation. Guido Tack
2009	A	`conf`	Maintaining State in Propagation Solvers. CP Raphael M. Reischuk, Christian Schulte, Peter J. Stuckey, Guido Tack
2009	J	`jnl`	View-based Propagator Derivation CoRR Christian Schulte, Guido Tack
2009	A	`conf`	Weakly Monotonic Propagators. CP Christian Schulte, Guido Tack
2008	J	`jnl`	Perfect Derived Propagators CoRR Christian Schulte, Guido Tack
2008	A	`conf`	Perfect Derived Propagators. CP Christian Schulte, Guido Tack
2007	J	`jnl`	Decomposition During Search for Propagation-Based Constraint Solvers CoRR Martin Mann, Guido Tack, Sebastian Will
2007	A	`conf`	MiniZinc: Towards a Standard CP Modelling Language. CP Nicholas Nethercote, Peter J. Stuckey, Ralph Becket, Sebastian Brand, Gregory J. Duck, Guido Tack
2007	—	`conf`	Status report: hot pickles, and how to serve them. ML Andreas Rossberg, Guido Tack, Leif Kornstaedt
2006	A	`conf`	Generating Propagators for Finite Set Constraints. CP Guido Tack, Christian Schulte, Gert Smolka
2005	—	`conf`	Generic Pickling and Minimization. ML Guido Tack, Leif Kornstaedt, Gert Smolka
2005	A	`conf`	Views and Iterators for Generic Constraint Implementations. CP Christian Schulte, Guido Tack
2005	—	`conf`	Views and Iterators for Generic Constraint Implementations. CSCLP Christian Schulte, Guido Tack
2004	—	`conf`	Alice through the looking glass. Trends in Functional Programming Andreas Rossberg, Didier Le Botlan, Guido Tack, Thorsten Brunklaus, Gert Smolka
2004	—	`conf`	Compositional Abstractions for Search Factories. MOZ Guido Tack, Didier Le Botlan