Algorithms for Deciding Counting Quantifiers over Unary Predicates.
Marcelo FingerGlauber De BonaPublished in: AAAI (2017)
Keyphrases
- computationally efficient
- learning algorithm
- times faster
- graph theory
- website
- optimization problems
- computational cost
- neural network
- combinatorial optimization
- computational efficiency
- significant improvement
- data structure
- computer vision
- database
- knowledge representation
- relational databases
- computational complexity
- theoretical analysis
- benchmark datasets
- orders of magnitude
- bayesian networks
- recently developed