An efficient query learning algorithm for zero-suppressed binary decision diagrams.
Hayato MizumotoShota Todoroki DiptaramaRyo YoshinakaAyumi ShinoharaPublished in: ALT (2017)
Keyphrases
- binary decision diagrams
- learning algorithm
- boolean functions
- symbolic model checking
- query processing
- variable ordering
- database
- planning problems
- machine learning
- reinforcement learning
- model checking
- database queries
- relevance feedback
- knowledge compilation
- user defined
- data sources
- active learning
- data structure
- databases
- knowledge acquisition
- database systems