Browse by Person
Up a level |
Jump to: Algorithm Theory – SWAT 2012
Number of items: 1.
Algorithm Theory – SWAT 2012
Fischer, E. and Goldhirsh, Y. and Lachish, Oded (2012) Testing formula satisfaction. In: Fomin, F.V. and Kaski, P. (eds.) Algorithm Theory – SWAT 2012. Lecture Notes in Computer Science 7357. Berlin, Germany: Springer, pp. 376-387. ISBN 9783642311550.