Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming.
Thomas T. HildebrandtHugo A. LópezPublished in: ICLP (2009)
Keyphrases
- pattern matching
- constraint programming
- constraint propagation
- constraint satisfaction problems
- constraint satisfaction
- combinatorial problems
- regular expressions
- search strategies
- itemset mining
- pattern matching algorithm
- np hard problems
- global constraints
- constraint optimization
- finite domain
- constraint logic programming
- matching process
- approximate pattern matching
- constraint solving
- constraint solver
- compressed text
- data mining
- hard and soft constraints
- search heuristics
- information retrieval systems
- objective function