Samuel Gratzl
Samuel Gratzl
Home
Posts
Projects
Publications
Contact
CV
Light
Dark
Automatic
MiniZinc
Supporting the Problem-Solving Loop: Designing Highly Interactive Optimisation Systems
Efficient optimisation algorithms have become important tools for finding high-quality solutions to hard, real-world problems such as …
Jie Liu
,
Tim Dwyer
,
Guido Tack
,
Samuel Gratzl
,
Kim Marriott
PDF
Cite
Project
Video
DOI
MiniZinc Constraint Program Solver
Web IDE for the constraint programming language and solver MiniZinc
Code
Minizinc Web IDE
Cite
×