Posts
@d4r5c2Posts
Symmetry-Breaking via Nogood Derivation
Constraint learning through nogood derivation promises more powerful symmetry handling by accumulating reasons for propagation failures into reusable constraints...Read More →
MPS: From Punch Cards to Rust
The venerable MPS optimization file format has its share of odd conventions and limitations inherited from its 1960s punch card origins.Read More →