Follow
Mikael Zayenz Lagerkvist
Mikael Zayenz Lagerkvist
R&D at OptiSchedule
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
496*2006
Modeling and programming with gecode
C Schulte, G Tack, MZ Lagerkvist
Schulte, Christian and Tack, Guido and Lagerkvist, Mikael 1, 2010
168*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
342009
Techniques for efficient constraint propagation
MZ Lagerkvist
KTH, 2008
16*2008
Modeling irregular shape placement problems with regular constraints
MZ Lagerkvist, G Pesant
First workshop on bin packing and placement constraints BPPC’08, 2008
92008
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
62018
Programming branchers
C Schulte, G Tack, MZ Lagerkvist
Modeling and Programming with Gecode 6 (1), 2018
62018
Laser cutting path planning using CP
MZ Lagerkvist, M Nordkvist, M Rattfeldt
International Conference on Principles and Practice of Constraint …, 2013
42013
Gecode: An open constraint solving library
G Tack, M Lagerkvist, C Schulte
Workshop on Open-Source Software for Integer and Constraint Programming (OSSICP), 2008
42008
State Representation and Polyomino Placement for the Game Patchwork
M Zayenz Lagerkvist
arXiv e-prints, arXiv: 2001.04233, 2020
1*2020
Half-checking propagators
M Zayenz Lagerkvist, M Rattfeldt
arXiv e-prints, arXiv: 2007.05423, 2020
2020
Nmbr9 as a Constraint Programming Challenge
M Zayenz Lagerkvist
arXiv e-prints, arXiv: 2001.04238, 2020
2020
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–15