Mikael Zayenz Lagerkvist
Mikael Zayenz Lagerkvist
Software Developer at RaySearch Laboratories, PhD student at KTH Royal Institute of Technology
Bestätigte E-Mail-Adresse bei kth.se - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Gecode
C Schulte, M Lagerkvist, G Tack
Software download and online material at the website: http://www. gecode …, 2006
453*2006
Modeling and programming with gecode
C Schulte, G Tack, MZ Lagerkvist
Schulte, Christian and Tack, Guido and Lagerkvist, Mikael 1, 2010
153*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
92008
Programming branchers
C Schulte, G Tack, MZ Lagerkvist
Modeling and Programming with Gecode 6 (1), 2018
82018
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
42008
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
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–15