Analyzing Context-Free Grammars Using an Incremental SAT Solver.
Roland AxelssonKeijo HeljankoMartin LangePublished in: ICALP (2) (2008)
Keyphrases
- context free grammars
- sat solvers
- grammatical inference
- sat solving
- orders of magnitude
- boolean satisfiability
- search space
- constraint satisfaction
- sat instances
- sat problem
- search tree
- search strategies
- boolean formula
- regular expressions
- machine learning
- equivalence queries
- metadata
- search algorithm
- production rules
- expert systems
- satisfiability problem
- decision problems
- heuristic search
- state space