Paper: Lower Bounds for Existential Pebble Games and k-Consistency Tests (at LICS 2012)
Winner of the Kleene Award in 2012
Authors: Christoph Berkholz
Abstract
No Abstract Available
BibTeX
@InProceedings{Berkholz-LowerBoundsforExist, author = {Christoph Berkholz}, title = {Lower Bounds for Existential Pebble Games and k-Consistency Tests}, booktitle = {Proceedings of the Twenty-Seventh Annual IEEE Symposium on Logic in Computer Science (LICS 2012)}, year = {2012}, month = {June}, pages = {25--34}, location = {Dubrovnik, Croatia}, publisher = {IEEE Computer Society Press} }