Creează un cont pentru a te abona la acest blog și a-i urmări articolele pe pagina Lectură.
-
zdev keeps agentic development work in durable Markdown briefs and tasks, with explicit implementation, independent verification, and integrations for five coding harnesses.
-
I wanted to play some puzzles produced by my constraint-programming experiments.
-
A real wedding seating plan led to a MiniZinc model that balances practical requests with the chance of finding something to talk about.
-
The main result is a public collection of 434,201 generated Sudoku instances, ranging from 6×6 to 36×36.
-
Selecting well-spaced points looks simple, but the usual decomposition creates quadratically many auxiliary variables.
-
Gecode 6.3.0 collects seven years of solver and MiniZinc integration work, while 6.4.0 modernizes the build, adds new propagation functionality, and starts a more active release line.
-
A MiniZinc walk-through of the Partridge Packing Problem: pack one 1×1 square, two 2×2 squares, and so on into a square with exactly the same total area.
-
Solving the Rotating Workforce Scheduling problem using MiniZinc.
-
Understanding intervals, their overlaps, and how to write effective conditions for interval-based problems
-
The Work Task Variation Problem, a paper by Mikael Z.
-
On Benchmarking MiniZinc and the LinkedIn Queens Problem
-
Solving LinkedIn Queens using MiniZinc
-
The blog and site has been rewritten
-
Half-checking propagators, a paper by Mikael Z.
-
Half-checking propagators, a paper by Mikael Z.
-
Trip report on CP 2019 in Stamford, CT, USA.
-
Nmbr9 as a Constraint Programming Challenge, a paper by Mikael Z.
-
State Representation and Polyomino Placement for the Game Patchwork, a paper by Mikael Z.
-
Rust in 2019
-
Summary and some notes on RustFest 2018 in Paris
-
Monte Carlo Methods for the Game Kingdomino, a paper by Magnus Gedda, Mikael Z.
-
IJCAI 2018 fourth and final conference day
-
International Joint Conference on AI and Symposium on combinatorial search 2018 summary
-
IJCAI 2018 third conference day
-
IJCAI 2018 is being held in Stockholm from July the 13th to July the 19th as a part of the Federated AI Meeting.
-
IJCAI 2018 is being held in Stockholm from July the 13th to July the 19th as a part of the Federated AI Meeting.
-
IJCAI 2018 and SOCS 2018 is being held in Stockholm from July the 13th to July the 19th as a part of the Federated AI Meeting.
-
IJCAI 2018 and SOCS 2018 is being held in Stockholm from July the 13th to July the 19th as a part of the Federated AI Meeting.
-
IJCAI 2018 first workshop day
-
Rust in 2018