Machine-Checked Proofs for Realizability Checking Algorithms.
Andreas KatisAndrew GacekMichael W. WhalenPublished in: VSTTE (2015)
Keyphrases
- learning algorithm
- computational efficiency
- orders of magnitude
- machine learning algorithms
- genetic algorithm
- computational complexity
- computationally efficient
- worst case
- parallel machines
- recently developed
- theoretical analysis
- np complete
- databases
- data structure
- information systems
- artificial intelligence
- machine learning