A SAT-based parser and completer for pictures specified by tiling.
Matteo PradellaStefano Crespi-ReghizziPublished in: Pattern Recognit. (2008)
Keyphrases
- bounded model checking
- natural language
- answer set programming
- sat solvers
- dependency parsing
- version space
- ai planning
- natural language processing
- constraint solver
- digital pictures
- model checking
- planning domains
- dependency parser
- syntactic analysis
- sat encodings
- dynamic programming
- answer sets
- logic programming
- learning algorithm
- parse tree
- boolean satisfiability
- linear temporal logic