A Maximum Weight Heuristic Method for Abstract State Computation.

Li Li, Xiaoyu Song, Ming Gu, Jianmin Wang

Browse the full COMPSAC paper archive.