optimization, and games (2004)

by Testing
Venue:In Proceedings of the Nineteenth Annual IEEE Symposium on Logic In Computer Science, LICS 2004