Certified DQBF Solving by Definition Extraction.

Franz-Xaver Reichl Friedrich Slivovsky Stefan Szeider

Published in: SAT (2021)

Keyphrases

automatic extraction
data sets
artificial intelligence
combinatorial optimization
knowledge extraction
machine learning
genetic algorithm
information systems
e learning
database systems
optimal solution
video sequences
expert systems