Formal Model-Based Constraint Solving and Document Generation.
Michael LeuschelPublished in: SBMF (2016)
Keyphrases
- constraint solving
- constraint propagation
- constraint logic programming
- constraint satisfaction
- constraint satisfaction problems
- constraint solver
- constraint programming
- document collections
- generation process
- information retrieval systems
- retrieval systems
- web documents
- document retrieval
- document images
- finite domain
- information retrieval
- query biased
- document clustering
- orders of magnitude
- text documents
- semantic information
- objective function
- constraint solvers
- search engine