Decision Algorithms for Checking Definability of Order-2 Finitary PCF.
Sadaaki KawataKazuyuki AsadaNaoki KobayashiPublished in: APLAS (2015)
Keyphrases
- computationally efficient
- recently developed
- computational efficiency
- computationally expensive
- orders of magnitude
- np hard
- decision makers
- decision problems
- decision rules
- benchmark datasets
- data mining techniques
- data sets
- optimization problems
- markov random field
- search space
- computational complexity
- decision making
- machine learning
- neural network
- databases