Mikael Zayenz Lagerkvist
Welcome to my personal website. I am a researcher specializing in constraint programming, combinatorial optimization, and game tree search. My work explores efficient algorithms for solving complex decision problems, particularly in the context of board games and AI systems.
Feel free to explore my research page for a comprehensive list of my publications, or check out my blog for more informal discussions and insights into my work.
Recent Updates
-
Solving LinkedIn Queens using MiniZinc
Blog Post • 2025-06-19Solving LinkedIn Queens using MiniZinc
2025-06-19 Blog Post - 2025-06-18 Blog Post
-
Half-checking propagators
Blog Post • 2020-09-07Half-checking propagators, a paper by Mikael Z. Lagerkvist and Magnus Rattfeldt at ModRef 2020
2020-09-07 Blog Post -
Half-checking propagators
Research Paper • 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
2020-09-07 Research Paper - 2019-09-30 Blog Post
Skills & Expertise
Research Areas
- Constraint Programming
- Combinatorial Optimization
- Game Tree Search
- Board Game AI
- Machine Learning Applications
Technical Skills
- Algorithm Design & Analysis
- Python, C++, Java
- Large Language Models
- Neural Network Architectures
- Parallel Computing
Contact
Feel free to reach out to me at fromweb@zayenz.se