Solving the Partridge Packing Problem using MiniZinc
https://zayenz.se/blog/post/partridge-packing/
Solving the Rotating Workforce Scheduling problem using MiniZinc.
https://zayenz.se/blog/post/rotating-workforce-scheduling/
Understanding intervals, their overlaps, and how to write effective conditions for interval-based problems
https://zayenz.se/blog/post/how-to-check-for-overlapping-intervals/
The Work Task Variation Problem, a paper by Mikael Z. Lagerkvist and Magnus Rattfeldt at CP 2025.
https://zayenz.se/blog/post/work-task-variation-cp2025-paper/
On Benchmarking MiniZinc and the LinkedIn Queens Problem
https://zayenz.se/blog/post/benchmarking-linkedin-queens/
Solving LinkedIn Queens using MiniZinc
https://zayenz.se/blog/post/linkedin-queens/
The blog and site has been rewritten
https://zayenz.se/blog/post/rewritten-site/
Half-checking propagators, a paper by Mikael Z. Lagerkvist and Magnus Rattfeldt at ModRef 2020
https://zayenz.se/blog/post/half-checking-propagators-2020-modref-paper/
Half-checking propagators, a paper by Mikael Z. Lagerkvist and Magnus Rattfeldt
https://zayenz.se/blog/post/half-checking-propagators-2020-arxiv-paper/
Trip report on CP 2019 in Stamford, CT, USA.
https://zayenz.se/blog/post/conferences/cp2019/
Nmbr9 as a Constraint Programming Challenge, a paper by Mikael Z. Lagerkvist
https://zayenz.se/blog/post/nmbr9-cp2019-abstract/
State Representation and Polyomino Placement for the Game Patchwork, a paper by Mikael Z. Lagerkvist
https://zayenz.se/blog/post/patchwork-modref2019-paper/
Rust in 2019
https://zayenz.se/blog/post/rust-2019/
Solving Sudoku the simple and fast way using constraint programming, part 2
https://zayenz.se/blog/post/constraint-programming/solving-sudoku-part-2/
Solving Sudoku the simple and fast way using constraint programming
https://zayenz.se/blog/post/constraint-programming/solving-sudoku-part-1/
Summary and some notes on RustFest 2018 in Paris
https://zayenz.se/blog/post/conferences/rust-fest-2018-paris/
Monte Carlo Methods for the Game Kingdomino, a paper by Magnus Gedda, Mikael Z. Lagerkvist and Martin Butler
https://zayenz.se/blog/post/kingdomino-cig2018-paper/
IJCAI 2018 fourth and final conference day
https://zayenz.se/blog/post/conferences/ijcai2018-7/
International Joint Conference on AI and Symposium on combinatorial search 2018 summary
https://zayenz.se/blog/post/conferences/ijcai2018-summary/
IJCAI 2018 third conference day
https://zayenz.se/blog/post/conferences/ijcai2018-6/
https://zayenz.se/blog/post/conferences/ijcai2018-5/
https://zayenz.se/blog/post/conferences/ijcai2018-4/
https://zayenz.se/blog/post/conferences/ijcai2018-3/
https://zayenz.se/blog/post/conferences/ijcai2018-2/
IJCAI 2018 first workshop day
https://zayenz.se/blog/post/conferences/ijcai2018-1/
Rust in 2018
https://zayenz.se/blog/post/rust-2018/
Loading more posts...