corpus.blog
41554 blogs · [ { "id": "01a0d4e5-c2e6-71a8-afd2-089b886c430b", "title": "Processing MLIR with Zirium", "url": "https://zayenz.se/blog/post/zirium/", "published_at": "2026-09-18T00:00:00+00:00" }, { "id": "01a08c66-7f41-72bc-b20a-2aab67910bb3", "title": "zdev 1.0: yet another agentic loop, this one is mine", "url": "https://zayenz.se/blog/post/zdev-1-0/", "published_at": "2026-08-17T00:00:00+00:00" }, { "id": "01a08c66-7f41-72bc-b20a-2aab6819eba0", "title": "From constraint models to playable puzzle games", "url": "https://zayenz.se/blog/post/constraint-generated-puzzle-games/", "published_at": "2026-08-07T00:00:00+00:00" }, { "id": "01a08c66-7f41-72bc-b20a-2aab6867677b", "title": "Gecode 6.3.0 and 6.4.0 are released", "url": "https://zayenz.se/blog/post/gecode-6-3-and-6-4-released/", "published_at": "2026-07-16T00:00:00+00:00" }, { "id": "01a08c66-7f41-72bc-b20a-2aab68a7747d", "title": "Propagating the minimum distance between selected points", "url": "https://zayenz.se/blog/post/minimum-distance-propagation-modref2026-paper/", "published_at": "2026-07-16T00:00:00+00:00" }, { "id": "01a08c66-7f41-72bc-b20a-2aab694bce9d", "title": "What happens when Sudoku scales?", "url": "https://zayenz.se/blog/post/scaling-sudoku-modref2026-paper/", "published_at": "2026-07-16T00:00:00+00:00" }, { "id": "01a08c66-7f41-72bc-b20a-2aab69d3dae4", "title": "Table Talk Tuning", "url": "https://zayenz.se/blog/post/table-talk-tuning-modref2026-paper/", "published_at": "2026-07-16T00:00:00+00:00" }, { "id": "01a08c66-7f41-72bc-b20a-2aab6a110a4f", "title": "Solving the Partridge Packing Problem using MiniZinc", "url": "https://zayenz.se/blog/post/partridge-packing/", "published_at": "2025-11-26T00:00:00+00:00" }, { "id": "01a08c66-7f41-72bc-b20a-2aab6a5979b9", "title": "Rotating Workforce Scheduling in MiniZinc", "url": "https://zayenz.se/blog/post/rotating-workforce-scheduling/", "published_at": "2025-10-31T00:00:00+00:00" }, { "id": "01a08c66-7f41-72bc-b20a-2aab6a98ea29", "title": "How to check for overlapping intervals", "url": "https://zayenz.se/blog/post/how-to-check-for-overlapping-intervals/", "published_at": "2025-10-10T00:00:00+00:00" }, { "id": "01a08c66-7f41-72bc-b20a-2aab6b872404", "title": "The Work Task Variation Problem", "url": "https://zayenz.se/blog/post/work-task-variation-cp2025-paper/", "published_at": "2025-08-22T00:00:00+00:00" }, { "id": "01a08c66-7f41-72bc-b20a-2aab6c3e9c2f", "title": "On Benchmarking MiniZinc and the LinkedIn Queens Problem", "url": "https://zayenz.se/blog/post/benchmarking-linkedin-queens/", "published_at": "2025-08-21T00:00:00+00:00" }, { "id": "01a08c66-7f41-72bc-b20a-2aab6cff47c1", "title": "Solving LinkedIn Queens using MiniZinc", "url": "https://zayenz.se/blog/post/linkedin-queens/", "published_at": "2025-06-19T00:00:00+00:00" }, { "id": "01a08c66-7f41-72bc-b20a-2aab6d2874cc", "title": "Rewritten site and blog", "url": "https://zayenz.se/blog/post/rewritten-site/", "published_at": "2025-06-18T00:00:00+00:00" }, { "id": "01a08c66-7f41-72bc-b20a-2aab6d3dc221", "title": "Half-checking propagators", "url": "https://zayenz.se/blog/post/half-checking-propagators-2020-modref-paper/", "published_at": "2020-09-07T00:00:00+00:00" }, { "id": "01a08c66-7f41-72bc-b20a-2aab6db62358", "title": "Half-checking propagators", "url": "https://zayenz.se/blog/post/half-checking-propagators-2020-arxiv-paper/", "published_at": "2020-07-12T00:00:00+00:00" }, { "id": "01a08c66-7f41-72bc-b20a-2aab6ddd0202", "title": "CP 2019", "url": "https://zayenz.se/blog/post/conferences/cp2019/", "published_at": "2019-09-30T00:00:00+00:00" }, { "id": "01a08c66-7f41-72bc-b20a-2aab6e5a3ed8", "title": "Nmbr9 as a Constraint Programming Challenge", "url": "https://zayenz.se/blog/post/nmbr9-cp2019-abstract/", "published_at": "2019-09-28T00:00:00+00:00" }, { "id": "01a08c66-7f41-72bc-b20a-2aab6eca9145", "title": "State Representation and Polyomino Placement for the Game Patchwork", "url": "https://zayenz.se/blog/post/patchwork-modref2019-paper/", "published_at": "2019-09-27T00:00:00+00:00" }, { "id": "01a08c66-7f41-72bc-b20a-2aab6f349402", "title": "Rust 2019: Laying the groundwork for an amazing future", "url": "https://zayenz.se/blog/post/rust-2019/", "published_at": "2019-01-15T00:00:00+00:00" }, { "id": "01a08c66-7f41-72bc-b20a-2aab7008e9a3", "title": "RustFest 2018 in Paris", "url": "https://zayenz.se/blog/post/conferences/rust-fest-2018-paris/", "published_at": "2018-08-16T00:00:00+00:00" }, { "id": "01a08c66-7f41-72bc-b20a-2aab700fc8c2", "title": "Monte Carlo Methods for the Game Kingdomino", "url": "https://zayenz.se/blog/post/kingdomino-cig2018-paper/", "published_at": "2018-08-13T00:00:00+00:00" }, { "id": "01a08c66-7f41-72bc-b20a-2aab7055c89b", "title": "IJCAI 2018, fourth day", "url": "https://zayenz.se/blog/post/conferences/ijcai2018-7/", "published_at": "2018-07-19T09:00:00+00:00" }, { "id": "01a08c66-7f41-72bc-b20a-2aab7151267b", "title": "IJCAI 2018 and SOCS 2018 summary", "url": "https://zayenz.se/blog/post/conferences/ijcai2018-summary/", "published_at": "2018-07-19T00:00:00+00:00" }, { "id": "01a08c66-7f41-72bc-b20a-2aab724e748e", "title": "IJCAI 2018, third day", "url": "https://zayenz.se/blog/post/conferences/ijcai2018-6/", "published_at": "2018-07-18T00:00:00+00:00" }, { "id": "01a08c66-7f41-72bc-b20a-2aab72adbd52", "title": "IJCAI 2018, second day", "url": "https://zayenz.se/blog/post/conferences/ijcai2018-5/", "published_at": "2018-07-17T00:00:00+00:00" }, { "id": "01a08c66-7f41-72bc-b20a-2aab72fae33a", "title": "IJCAI 2018, first day", "url": "https://zayenz.se/blog/post/conferences/ijcai2018-4/", "published_at": "2018-07-16T00:00:00+00:00" }, { "id": "01a08c66-7f41-72bc-b20a-2aab73720601", "title": "SOCS 2018, second day", "url": "https://zayenz.se/blog/post/conferences/ijcai2018-3/", "published_at": "2018-07-15T00:00:00+00:00" }, { "id": "01a08c66-7f41-72bc-b20a-2aab73cd1075", "title": "SOCS 2018, first day", "url": "https://zayenz.se/blog/post/conferences/ijcai2018-2/", "published_at": "2018-07-14T00:00:00+00:00" }, { "id": "01a08c66-7f41-72bc-b20a-2aab746010b9", "title": "IJCAI 2018, Computer Games Workshop", "url": "https://zayenz.se/blog/post/conferences/ijcai2018-1/", "published_at": "2018-07-13T00:00:00+00:00" }, { "id": "01a08c66-7f41-72bc-b20a-2aab74ecba76", "title": "Rust 2018: Libraries in the 2018 Epoch", "url": "https://zayenz.se/blog/post/rust-2018/", "published_at": "2018-01-23T00:00:00+00:00" } ] posts Claim your blog
Back to Home - zayenz.se
Blog · corpus.blog/blogs/zayenz.se/posts

Home - zayenz.se

zayenz.se

2026

Processing MLIR with Ziriumoriginal ↗
18 Sept 2026
zdev 1.0: yet another agentic loop, this one is mineoriginal ↗
17 Aug 2026
From constraint models to playable puzzle gamesoriginal ↗
7 Aug 2026
Gecode 6.3.0 and 6.4.0 are releasedoriginal ↗
16 Jul 2026
Propagating the minimum distance between selected pointsoriginal ↗
16 Jul 2026
What happens when Sudoku scales?original ↗
16 Jul 2026
Table Talk Tuningoriginal ↗
16 Jul 2026

2025

Solving the Partridge Packing Problem using MiniZincoriginal ↗
26 Nov 2025
Rotating Workforce Scheduling in MiniZincoriginal ↗
31 Oct 2025
How to check for overlapping intervalsoriginal ↗
10 Oct 2025
The Work Task Variation Problemoriginal ↗
22 Aug 2025
On Benchmarking MiniZinc and the LinkedIn Queens Problemoriginal ↗
21 Aug 2025
Solving LinkedIn Queens using MiniZincoriginal ↗
19 Jun 2025
Rewritten site and blogoriginal ↗
18 Jun 2025

2020

Half-checking propagatorsoriginal ↗
7 Sept 2020
Half-checking propagatorsoriginal ↗
12 Jul 2020

2019

CP 2019original ↗
30 Sept 2019
Nmbr9 as a Constraint Programming Challengeoriginal ↗
28 Sept 2019
State Representation and Polyomino Placement for the Game Patchworkoriginal ↗
27 Sept 2019
Rust 2019: Laying the groundwork for an amazing futureoriginal ↗
15 Jan 2019

2018

RustFest 2018 in Parisoriginal ↗
16 Aug 2018
Monte Carlo Methods for the Game Kingdominooriginal ↗
13 Aug 2018
IJCAI 2018, fourth dayoriginal ↗
19 Jul 2018
IJCAI 2018 and SOCS 2018 summaryoriginal ↗
19 Jul 2018
IJCAI 2018, third dayoriginal ↗
18 Jul 2018
IJCAI 2018, second dayoriginal ↗
17 Jul 2018
IJCAI 2018, first dayoriginal ↗
16 Jul 2018
SOCS 2018, second dayoriginal ↗
15 Jul 2018
SOCS 2018, first dayoriginal ↗
14 Jul 2018
IJCAI 2018, Computer Games Workshoporiginal ↗
13 Jul 2018
Rust 2018: Libraries in the 2018 Epochoriginal ↗
23 Jan 2018