String Constraint Solving: Past, Present and Future.
Roberto AmadiniGraeme GangePeter SchachteHarald SøndergaardPeter J. StuckeyPublished in: ECAI (2020)
Keyphrases
- constraint solving
- constraint logic programming
- constraint propagation
- constraint satisfaction problems
- constraint solver
- constraint satisfaction
- constraint programming
- long term
- past observations
- pattern matching
- real world
- historical information
- constraint solvers
- temporal information
- string matching
- linear programming
- data structure