Checking computations in polylogarithmic time
STOC '91 Proceedings of the twenty-third annual ACM symposium on Theory of computing
Proof verification and the hardness of approximation problems
Journal of the ACM (JACM)
Journal of Computer and System Sciences - 30th annual ACM symposium on theory of computing
Monotonicity testing over general poset domains
STOC '02 Proceedings of the thiry-fourth annual ACM symposium on Theory of computing
Improved Testing Algorithms for Monotonicity
RANDOM-APPROX '99 Proceedings of the Third International Workshop on Approximation Algorithms for Combinatorial Optimization Problems: Randomization, Approximation, and Combinatorial Algorithms and Techniques
FOCS '98 Proceedings of the 39th Annual Symposium on Foundations of Computer Science
Fast approximate probabilistically checkable proofs
Information and Computation
Tolerant property testing and distance approximation
Journal of Computer and System Sciences
Testing monotonicity over graph products
Random Structures & Algorithms
Property Testing: A Learning Theory Perspective
Foundations and Trends® in Machine Learning
Hi-index | 0.00 |
We consider approximate PCPs for multidimensional bin-packing problems. In particular, we show how a verifier can be quickly convinced that a set of multidimensional blocks can be packed into a small number of bins. The running time of the verifier is bounded by O(logd n) where n is the number of blocks and d is the dimension.