3 ms·
Geoffrey de Smet, Optaplanner, and Constraint Programming (CP) are all amazing indeed. If we're talking about underhyped tech that actually works wonders in pra
by stncls 5y ago
Geoffrey de Smet, Optaplanner, and Constraint Programming (CP) are all amazing indeed. If we're talking about underhyped tech that actually works wonders in practical business problems, I would also take advantage of the limelight to include the whole CP field (including other solvers like Gecode), SAT solvers (MiniSat, Lingeling, Glucose, Chaff, ...) and SMT software (MiniZinc, Z3, ...), and Operations Research / mixed-integer programming (MIP) in which unfortunately open source software lags behind the stat of the art (Gurobi, Fico XPress).
- thechao 5y agoI wish, SMT-solvers, in particular, were easier to approach. I have a number of problems that are solved once-per-month, that I wouldn’t mind throwing a couple of weeks of compute at to get absolute tip-top results. Posing SMT-problems though … that’s an art. There’s not enough resources for “problems at scale” for me to just dip my tie into…
- mzl 5y agoStrong recommendation to take a look at MiniZinc. It’s a modeling language for combinatorial optimization problems, and is often quite easy to model problems in it. The cool thing is that one can then solve the problem using many different solver technologies.
- tra3 5y agoIs there an intro you can recommend? I’ve never heard of CP, would love to read about it.