The blog post discusses the Partridge Packing Problem, a combinatorial packing puzzle introduced by Robert T. Wainwright. It explores modeling and solving the problem using MiniZinc, highlighting the complexity of packing squares ...
About:
zayenz is a researcher and software developer who blogs about Rust and web development, enjoying vibe coding, static-site tooling (Astro, Tailwind), and experimenting with AI tools.
Website:
Specializations:
Interests:
Subscribe to RSS:
Hillel Wayne's post discusses solving the LinkedIn Queens problem using MiniZinc, a constraint modeling language, as an alternative to SAT solvers. The problem is a variation of the N-Queens puzzle, where queens must be placed on ...
The blog post summarizes the paper 'State Representation and Polyomino Placement for the Game Patchwork' by Mikael Z. Lagerkvist, presented at the CP2019 conference. It discusses the game Patchwork, a 2-player strategy game involv...
The blog post summarizes a paper on applying Monte Carlo methods to the board game Kingdomino, presented at the IEEE Conference on Computational Intelligence and Games 2018. The authors, Magnus Gedda, Mikael Z. Lagerkvist, and Mar...
The blog post discusses the game Nmbr9, a solitaire puzzle that involves polyomino placement, and presents it as a challenge in constraint programming. The author summarizes the game's mechanics, the complexity of modeling it, and...
The blog post discusses the complexities of Rotating Workforce Scheduling (RWS), a method for creating fair weekly schedules for employees that rotate through different shifts. It explains the development of a MiniZinc model to so...
The blog post discusses the concept of intervals in programming, particularly focusing on how to represent them and detect overlaps. It explains the difference between closed and half-open intervals, provides examples, and outline...
The blog post discusses benchmarking different MiniZinc solvers using the LinkedIn Queens problem. It explains the MiniZinc modeling language, its compilation to FlatZinc, and how to benchmark solvers. The author notes that most s...
The blog post summarizes the paper 'Half-checking propagators' presented at the CP2020 conference, exploring the concept of allowing propagators in constraint programming to remove values that are part of solutions. This approach,...
The post discusses the paper 'Half-checking propagators' by Mikael Z. Lagerkvist and Magnus Rattfeldt, which introduces a novel concept in constraint programming. The authors propose that propagators can remove values that are par...
The blog post provides insights from the IJCAI 2018 conference held in Stockholm, focusing on various sessions related to constraint satisfaction, optimization, and search algorithms. Key topics discussed include a framework for c...
The post summarizes the paper 'The Work Task Variation Problem' presented at CP 2025, which addresses the need for improved employee scheduling by focusing on task variety and ergonomics. It introduces the Work Task Variation (WTV...
The blog post reflects on the CP 2019 conference held in Stamford, CT, detailing various workshops and presentations attended by the author. Key highlights include discussions on constraint programming, optimization problems, and ...
The blog post provides insights from the third day of the IJCAI 2018 conference in Stockholm, highlighting various technical papers and talks. Key topics include knowledge representation, algorithms for argumentation frameworks, c...
The blog post provides a summary of the IJCAI 2018 conference held in Stockholm, highlighting key papers and discussions from various sessions. Notable topics include advancements in machine learning, intelligent malware detection...
The author provides a personal summary of the IJCAI 2018 and SoCS 2018 conferences held in Stockholm, highlighting the scale of the events, notable invited talks, and discussions with attendees. Key talks included Yann LeCun's ins...
The post discusses the future directions for the Rust programming language, emphasizing the importance of community management and support for high-quality libraries. It highlights the challenges faced by Rust leadership due to th...
The author shares insights from attending RustFest 2018 in Paris, highlighting key presentations on topics such as immutable data structures, GPU rendering, building reliable infrastructure, and creating an 80s style computer. The...
0Rewritten site and blog - zayenz.se
2025-06-18 •
...