Certified DQBF Solving by Definition Extraction.

Franz-Xaver Reichl Friedrich Slivovsky Stefan Szeider

Published in: CoRR (2021)

Keyphrases

information extraction
automatic extraction
image segmentation
multiresolution
real time
machine learning
social networks
metadata
high level
bayesian networks
multi agent
combinatorial optimization
timetabling problem