G2Q: Haskell constraint solving.
William T. HallahanAnton XueRuzica PiskacPublished in: Haskell@ICFP (2019)
Keyphrases
- constraint solving
- programming language
- functional programming
- constraint propagation
- constraint logic programming
- constraint satisfaction
- constraint satisfaction problems
- constraint solver
- plagiarism detection
- functional language
- constraint programming
- genetic algorithm
- database systems
- relational databases
- search space
- tree search