Publisher
Springer Berlin Heidelberg
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Problem identification using program checking;Discrete Applied Mathematics;2004-12
2. Transparent Proofs and Limits to Approximation;First European Congress of Mathematics;1994
3. Transparent Proofs and Limits to Approximation;First European Congress of Mathematics Paris, July 6–10, 1992;1994
4. Probabilistic Verification and Non-Approximability;Handbook of Combinatorial Optimization