Mikael Zayenz Lagerkvist
Mikael Zayenz Lagerkvist
Software Developer at RaySearch Laboratories, PhD student at KTH Royal Institute of Technology
Verified email at kth.se - Homepage
Title
Cited by
Cited by
Year
Gecode
C Schulte, M Lagerkvist, G Tack
Software download and online material at the website: http://www. gecode …, 2006
414*2006
Modeling and programming with gecode
C Schulte, G Tack, MZ Lagerkvist
Schulte, Christian and Tack, Guido and Lagerkvist, Mikael 1, 2010
126*2010
Advisors for incremental propagation
MZ Lagerkvist, C Schulte
International Conference on Principles and Practice of Constraint …, 2007
412007
Propagator groups
MZ Lagerkvist, C Schulte
International Conference on Principles and Practice of Constraint …, 2009
352009
Techniques for efficient constraint propagation
MZ Lagerkvist
KTH, 2008
15*2008
Modeling irregular shape placement problems with regular constraints
MZ Lagerkvist, G Pesant
First workshop on bin packing and placement constraints BPPC’08, 2008
82008
Monte carlo methods for the game kingdomino
M Gedda, MZ Lagerkvist, M Butler
2018 IEEE Conference on Computational Intelligence and Games (CIG), 1-8, 2018
42018
Gecode: An open constraint solving library
G Tack, M Lagerkvist, C Schulte
Workshop on Open-Source Software for Integer and Constraint Programming (OSSICP), 2008
32008
Laser cutting path planning using CP
MZ Lagerkvist, M Nordkvist, M Rattfeldt
International Conference on Principles and Practice of Constraint …, 2013
22013
State Representation and Polyomino Placement for the Game Patchwork
MZ Lagerkvist
https://arxiv.org/pdf/2001.04233.pdf, 2019
12019
Nmbr9 as a Constraint Programming Challenge
MZ Lagerkvist
https://arxiv.org/pdf/2001.04238.pdf, 2019
2019
Machine Assisted Reasoning for Multi-Threaded Java Bytecode
MZ Lagerkvist
2005
Teaching CP systems in Java using Gecode/J
MZ Lagerkvist, G Tack
The system can't perform the operation now. Try again later.
Articles 1–13