The Curious Engineer

All blogs / Algorithms / data structures

zayenz.se

zayenz.se

Articles by Mikael Zayenz Lagerkvist about constraint programming, algorithms, software, conferences, and research.

Algorithms / data structuresMathSoftware / engineering practice

’18’19’20’21’22’23’24’25’26
Posts
37 from 23 Jan 2018 to 20 Oct 2026
Posting
monthly (13 in the last year)
Kind
personal blog
Feed
https://zayenz.se/rss.xml

2026 12

  1. Introducing Zirql, an embeddable query language
  2. How I write MiniZinc
  3. MiniZincConstraint programming with MiniZinc
  4. zpres: presentations from text
  5. Processing MLIR with Zirium
  6. zdev 1.0: yet another agentic loop, this one is mine
  7. From constraint models to playable puzzle games
  8. Gecode 6.3.0 and 6.4.0 are released
  9. Propagating the minimum distance between selected points
  10. What happens when Sudoku scales?
  11. Table Talk Tuning
  12. Research papersIntroductions and background for papers I have worked on

2025 7

  1. Solving the Partridge Packing Problem using MiniZinc
  2. Rotating Workforce Scheduling in MiniZinc
  3. How to check for overlapping intervals
  4. The Work Task Variation Problem
  5. On Benchmarking MiniZinc and the LinkedIn Queens Problem
  6. Solving LinkedIn Queens using MiniZinc
  7. Rewritten site and blog

2020 2

  1. Half-checking propagators
  2. Half-checking propagators

2019 5

  1. CP 2019
  2. ConferencesConference trip-reports
  3. Nmbr9 as a Constraint Programming Challenge
  4. State Representation and Polyomino Placement for the Game Patchwork
  5. Rust 2019: Laying the groundwork for an amazing future

2018 11

  1. RustFest 2018 in Paris
  2. Monte Carlo Methods for the Game Kingdomino
  3. IJCAI 2018, fourth day
  4. IJCAI 2018 and SOCS 2018 summary
  5. IJCAI 2018, third day
  6. IJCAI 2018, second day
  7. IJCAI 2018, first day
  8. SOCS 2018, second day
  9. SOCS 2018, first day
  10. IJCAI 2018, Computer Games Workshop
  11. Rust 2018: Libraries in the 2018 Epoch