Pages that link to "Item:Q757060"
From MaRDI portal
The following pages link to Symbolic constraint handling through unification in finite algebras (Q757060):
Displaying 5 items.
- Replacing unification by constraint satisfaction to improve logic program expressiveness (Q912656) (← links)
- Using an extended PROLOG to solve the lion and unicorn Puzzle (Q1123642) (← links)
- Combining symbolic constraint solvers on algebraic domains (Q1338341) (← links)
- Many-valued logic and mixed integer programming (Q1924752) (← links)
- Symbolic-interval cooperation in constraint programming (Q2958925) (← links)