๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

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


A polynomial time circle packing algorit
โœ Bojan Mohar ๐Ÿ“‚ Article ๐Ÿ“… 1993 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 428 KB

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

A Polynomial-time Algorithm for the Bist
โœ Jay Sethuraman; Chung-Piaw Teo ๐Ÿ“‚ Article ๐Ÿ“… 2001 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 127 KB

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