Protocol Log Analysis with Constraint Programming.
Mats CarlssonOlga GrinchteinJustin PearsonPublished in: SMT (2014)
Keyphrases
- constraint programming
- log analysis
- log data
- user behavior
- combinatorial problems
- constraint propagation
- constraint satisfaction problems
- log files
- constraint satisfaction
- search strategies
- web search
- global constraints
- query logs
- web search engines
- constraint solver
- finite domain
- constraint solving
- search engine
- hard and soft constraints
- information retrieval systems
- search behavior
- symmetry breaking