Research
Research Interests
My main research interest is in constraint programming and more generally the techniques, methods, and theory of solving combinatorial (optimization) problems. However, I really enjoy learning new things and thinking about them.
Here is an incomplete list of areas that I have at some point investigated:
- Constraint programming
- Compilers
- Formal methods
- Programming languages
- Programming paradigms
- Algorithms and data structures
- Complexity theory
- Distributed systems
- Geometric algorithms
- Computer game playing
- Programming competitions
- The practice of programming (what does it mean to code in a professional setting)
- How to structure and code a GUI
- Teaching programming and computational thinking
- Typesetting
- Database implementations
Research Software
Gecode is a constraint programming system. It is a toolkit that can be used both for creating applications and for developing new constraint programming systems.
My main research in constraint programming was done while being the main developer of Gecode.
Collaboration
I'm always open to research collaborations in areas related to constraint programming, game playing AI, and combinatorial optimization. If you're interested in potential collaboration, please feel free to contact me to discuss possible projects.
Publications
Half-checking propagators DRAFT
2020-09-07
Authors: Mikael Z. Lagerkvist, Magnus Rattfeldt
Venue: The 19th workshop on Constraint Modelling and Reformulation at The 26th International Conference on Principles and Practice of Constraint Programming, CP2020
Nmbr9 as a Constraint Programming Challenge DRAFT
2019-09-28
Authors: Mikael Z. Lagerkvist
Venue: The 25th International Conference on Principles and Practice of Constraint Programming, CP2019 in Stamford, CT, USA
State Representation and Polyomino Placement for the Game Patchwork DRAFT
2019-09-27
Authors: Mikael Z. Lagerkvist
Venue: The 18th workshop on Constraint Modelling and Reformulation at The 25th International Conference on Principles and Practice of Constraint Programming, CP2019 in Stamford, CT, USA
Monte Carlo Methods for the Game Kingdomino DRAFT
2018-08-13
Authors: Magnus Gedda, Mikael Z. Lagerkvist, Martin Butler
Venue: IEEE Conference on Computational Intelligence and Games 2018, Maastricht, The Netherlands, August 14-17, 2018
Laser Cutting Path Planning Using CP DRAFT
2013
Authors: Mikael Z. Lagerkvist, Martin Nordkvist, Magnus Rattfeldt
Venue: Principles and Practice of Constraint Programming - 19th International Conference, CP 2013, Uppsala, Sweden
Modeling and Programming with Gecode DRAFT
2010
Authors: Christian Schulte, Guido Tack, Mikael Z. Lagerkvist
Venue: Technical documentation
Propagator Groups DRAFT
2009
Authors: Mikael Z. Lagerkvist, Christian Schulte
Venue: Fifteenth International Conference on Principles and Practice of Constraint Programming, Lisbon, Portugal
Modeling Irregular Shape Placement Problems with Regular Constraints DRAFT
2008
Authors: Mikael Z. Lagerkvist, Gilles Pesant
Venue: First Workshop on Bin Packing and Placement Constraints (BPPC'08)
Techniques for Efficient Constraint Propagation DRAFT
2008
Authors: Mikael Z. Lagerkvist
Venue: Licentiate dissertation, Royal Institute of Technology
Advisors for Incremental Propagation DRAFT
2007
Authors: Mikael Z. Lagerkvist, Christian Schulte
Venue: Thirteenth International Conference on Principles and Practice of Constraint Programming, Providence, RI, USA
Machine Assisted Reasoning for Multi-Threaded Java Bytecode DRAFT
2005
Authors: Mikael Lagerkvist
Venue: Master's thesis, KTH - Royal Institute of Technology