zayenz.se Personal website and blog https://zayenz.se/ en-us Wed, 26 Nov 2025 14:51:55 GMT <![CDATA[Solving the Partridge Packing Problem using MiniZinc]]> https://zayenz.se/blog/post/partridge-packing/ https://zayenz.se/blog/post/partridge-packing/ Wed, 26 Nov 2025 00:00:00 GMT <![CDATA[Rotating Workforce Scheduling in MiniZinc]]> https://zayenz.se/blog/post/rotating-workforce-scheduling/ https://zayenz.se/blog/post/rotating-workforce-scheduling/ Fri, 31 Oct 2025 00:00:00 GMT <![CDATA[How to check for overlapping intervals]]> https://zayenz.se/blog/post/how-to-check-for-overlapping-intervals/ https://zayenz.se/blog/post/how-to-check-for-overlapping-intervals/ Fri, 10 Oct 2025 00:00:00 GMT <![CDATA[The Work Task Variation Problem]]> https://zayenz.se/blog/post/work-task-variation-cp2025-paper/ https://zayenz.se/blog/post/work-task-variation-cp2025-paper/ Fri, 22 Aug 2025 00:00:00 GMT <![CDATA[On Benchmarking MiniZinc and the LinkedIn Queens Problem]]> https://zayenz.se/blog/post/benchmarking-linkedin-queens/ https://zayenz.se/blog/post/benchmarking-linkedin-queens/ Thu, 21 Aug 2025 00:00:00 GMT <![CDATA[Solving LinkedIn Queens using MiniZinc]]> https://zayenz.se/blog/post/linkedin-queens/ https://zayenz.se/blog/post/linkedin-queens/ Thu, 19 Jun 2025 00:00:00 GMT <![CDATA[Rewritten site and blog]]> https://zayenz.se/blog/post/rewritten-site/ https://zayenz.se/blog/post/rewritten-site/ Wed, 18 Jun 2025 00:00:00 GMT <![CDATA[Half-checking propagators]]> https://zayenz.se/blog/post/half-checking-propagators-2020-modref-paper/ https://zayenz.se/blog/post/half-checking-propagators-2020-modref-paper/ Mon, 07 Sep 2020 00:00:00 GMT <![CDATA[Half-checking propagators]]> https://zayenz.se/blog/post/half-checking-propagators-2020-arxiv-paper/ https://zayenz.se/blog/post/half-checking-propagators-2020-arxiv-paper/ Sun, 12 Jul 2020 00:00:00 GMT <![CDATA[CP 2019]]> https://zayenz.se/blog/post/conferences/cp2019/ https://zayenz.se/blog/post/conferences/cp2019/ Mon, 30 Sep 2019 00:00:00 GMT <![CDATA[Nmbr9 as a Constraint Programming Challenge]]> https://zayenz.se/blog/post/nmbr9-cp2019-abstract/ https://zayenz.se/blog/post/nmbr9-cp2019-abstract/ Sat, 28 Sep 2019 00:00:00 GMT <![CDATA[State Representation and Polyomino Placement for the Game Patchwork]]> https://zayenz.se/blog/post/patchwork-modref2019-paper/ https://zayenz.se/blog/post/patchwork-modref2019-paper/ Fri, 27 Sep 2019 00:00:00 GMT <![CDATA[Rust 2019: Laying the groundwork for an amazing future]]> https://zayenz.se/blog/post/rust-2019/ https://zayenz.se/blog/post/rust-2019/ Tue, 15 Jan 2019 00:00:00 GMT <![CDATA[Simple and Fast Sudoku Solving using Constraint Programming]]> https://zayenz.se/blog/post/constraint-programming/solving-sudoku-part-1/ https://zayenz.se/blog/post/constraint-programming/solving-sudoku-part-1/ Tue, 04 Sep 2018 00:00:00 GMT <![CDATA[Simple and Fast Sudoku Solving using Constraint Programming, part 2]]> https://zayenz.se/blog/post/constraint-programming/solving-sudoku-part-2/ https://zayenz.se/blog/post/constraint-programming/solving-sudoku-part-2/ Tue, 04 Sep 2018 00:00:00 GMT <![CDATA[RustFest 2018 in Paris]]> https://zayenz.se/blog/post/conferences/rust-fest-2018-paris/ https://zayenz.se/blog/post/conferences/rust-fest-2018-paris/ Thu, 16 Aug 2018 00:00:00 GMT <![CDATA[Monte Carlo Methods for the Game Kingdomino]]> https://zayenz.se/blog/post/kingdomino-cig2018-paper/ https://zayenz.se/blog/post/kingdomino-cig2018-paper/ Mon, 13 Aug 2018 00:00:00 GMT <![CDATA[IJCAI 2018, fourth day]]> https://zayenz.se/blog/post/conferences/ijcai2018-7/ https://zayenz.se/blog/post/conferences/ijcai2018-7/ Thu, 19 Jul 2018 09:00:00 GMT <![CDATA[IJCAI 2018 and SOCS 2018 summary]]> https://zayenz.se/blog/post/conferences/ijcai2018-summary/ https://zayenz.se/blog/post/conferences/ijcai2018-summary/ Thu, 19 Jul 2018 00:00:00 GMT <![CDATA[IJCAI 2018, third day]]> https://zayenz.se/blog/post/conferences/ijcai2018-6/ https://zayenz.se/blog/post/conferences/ijcai2018-6/ Wed, 18 Jul 2018 00:00:00 GMT <![CDATA[IJCAI 2018, second day]]> https://zayenz.se/blog/post/conferences/ijcai2018-5/ https://zayenz.se/blog/post/conferences/ijcai2018-5/ Tue, 17 Jul 2018 00:00:00 GMT <![CDATA[IJCAI 2018, first day]]> https://zayenz.se/blog/post/conferences/ijcai2018-4/ https://zayenz.se/blog/post/conferences/ijcai2018-4/ Mon, 16 Jul 2018 00:00:00 GMT <![CDATA[SOCS 2018, second day]]> https://zayenz.se/blog/post/conferences/ijcai2018-3/ https://zayenz.se/blog/post/conferences/ijcai2018-3/ Sun, 15 Jul 2018 00:00:00 GMT <![CDATA[SOCS 2018, first day]]> https://zayenz.se/blog/post/conferences/ijcai2018-2/ https://zayenz.se/blog/post/conferences/ijcai2018-2/ Sat, 14 Jul 2018 00:00:00 GMT <![CDATA[IJCAI 2018, Computer Games Workshop]]> https://zayenz.se/blog/post/conferences/ijcai2018-1/ https://zayenz.se/blog/post/conferences/ijcai2018-1/ Fri, 13 Jul 2018 00:00:00 GMT <![CDATA[Rust 2018: Libraries in the 2018 Epoch]]> https://zayenz.se/blog/post/rust-2018/ https://zayenz.se/blog/post/rust-2018/ Tue, 23 Jan 2018 00:00:00 GMT