The Boolean Formula Value Problem as Formal Language.
Klaus-Jörn LangePublished in: Languages Alive (2012)
Keyphrases
- formal language
- boolean formula
- sat solvers
- practical problems
- formal semantics
- np complete
- natural language
- linear constraints
- binary decision diagrams
- natural language interface
- membership queries
- representation language
- sat problem
- max sat
- sat instances
- expert systems
- learning algorithm
- boolean functions
- inductive logic programming
- machine learning
- heuristic search
- equivalence queries