Fakultät für Informatik - Technische Universität München Lehrstuhl für Effiziente Algorithmen

Die bibliographische Datenbank LEABib

Suchen • Liste der Journale • Liste der Serien • Liste der Konferenzen • Ausgewählte Publikationen [2]	Hilfe

Suche: Citkey="Batu-Rubinfeld-White/05"

Information and Computation 196 (1), 2005, pp. 42-56

Editors		Albert R. Meyer
Publisher:		Elsevier B.V.
Address:		Orlando-Amsterdam-Tokyo-Singapore
Keywords:		proof-assisted property testing, probabilistically checkable proofs, multidimensional bin-packing problems, sublinear-time algorithms
URL:		http://dx.doi.org/10.1016/j.ic.2004.10.001