Výsledky vyhledávání - "Lagerkvist, Mikael"

Report

Autor: Lagerkvist, Mikael Zayenz, Rattfeldt, Magnus

Propagators are central to the success of constraint programming, that is contracting functions removing values proven not to be in any solution of a given constraint. The literature contains numerous propagation algorithms, for many different constr

Externí odkaz: http://arxiv.org/abs/2007.05423

Zobrazit plný text záznamu

Report

Nmbr9 as a Constraint Programming Challenge

Autor: Lagerkvist, Mikael Zayenz

Modern board games are a rich source of interesting and new challenges for combinatorial problems. The game Nmbr9 is a solitaire style puzzle game using polyominoes. The rules of the game are simple to explain, but modelling the game effectively usin

Externí odkaz: http://arxiv.org/abs/2001.04238

Zobrazit plný text záznamu

Report

State Representation and Polyomino Placement for the Game Patchwork

Autor: Lagerkvist, Mikael Zayenz

Modern board games are a rich source of entertainment for many people, but also contain interesting and challenging structures for game playing research and implementing game playing agents. This paper studies the game Patchwork, a two player strateg

Externí odkaz: http://arxiv.org/abs/2001.04233

Zobrazit plný text záznamu

Report

Monte Carlo Methods for the Game Kingdomino

Autor: Gedda, Magnus, Lagerkvist, Mikael Z., Butler, Martin

Kingdomino is introduced as an interesting game for studying game playing: the game is multiplayer (4 independent players per game); it has a limited game depth (13 moves per player); and it has limited but not insignificant interaction among players

Externí odkaz: http://arxiv.org/abs/1807.04458

Zobrazit plný text záznamu

Dissertation/ Thesis

Techniques for Efficient Constraint Propagation

Autor: Lagerkvist, Mikael Zayenz

This thesis explores three new techniques for increasing the efficiency of constraint propagation: support for incremental propagation, improved representation of constraints, and abstractions to simplify propagation. Support for incremental propagat

Externí odkaz: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-9511

Zobrazit plný text záznamu

Dissertation/ Thesis

Machine Assisted Reasoning for Multi-Threaded Java Bytecode

Autor: Lagerkvist, Mikael Zayenz

In this thesis an operational semantics for a subset of the Java Virtual Machine (JVM) is developed and presented. The subset contains standard operations such as control flow, computation, and memory management. In addition, the subset contains a tr

Externí odkaz: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-9512

Zobrazit plný text záznamu