Light Logics and Optimal Reduction: Completeness and Complexity

Patrick Baillot Paolo Coppola Ugo Dal Lago

Published in: CoRR (2007)

Keyphrases

worst case
complexity reduction
computational complexity
complexity analysis
optimal design
optimal solution
database
genetic algorithm
dynamic programming
modal logic
real time
reinforcement learning
reduction method
error tolerance