A polynomial-time algorithm for global value numbering
โ Scribed by Sumit Gulwani; George C. Necula
- Publisher
- Elsevier Science
- Year
- 2007
- Tongue
- English
- Weight
- 953 KB
- Volume
- 64
- Category
- Article
- ISSN
- 0167-6423
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
Mohar, B., A polynomial time circle packing algorithm, Discrete Mathematics 117 (1993) 2577263. The Andreev-Koebe-Thurston circle packing theorem is generalized and improved in two ways. Simultaneous circle packing representations of the map and its dual map are obtained such that any two edges dua
In a recent paper, Weems introduced the bistable matching problem, and asked if a polynomial-time algorithm exists to decide the feasibility of the bistable roommates problem. We resolve this question in the affirmative using linear programming. In addition, we show that several (old and new) result