Analysing Constraint Grammars with a SAT-solver.
Inari ListenmaaKoen ClaessenPublished in: LREC (2016)
Keyphrases
- sat solvers
- constraint solver
- orders of magnitude
- constraint satisfaction
- sat solving
- boolean satisfiability
- search space
- sat instances
- max sat
- sat problem
- search strategies
- propositional satisfiability
- constraint programming
- constraint solving
- search tree
- linear constraints
- boolean formula
- clause learning
- sat encodings
- constraint propagation
- context free grammars
- document retrieval
- metaheuristic
- information retrieval