programming: Finite Domain integer programming
- e.g. finding integer solutions to simultaneous equations
- Prolog has a "FD" library that allows you to express the constraints directly, then can enumerate the solutions
- Can specify other constraints like "minimise"/"maximise" some other expression and that will determine the search order of the valid space
Published on: 24 Dec 2025