Cylindrical Algebraic Decomposition II: An Adjacency Algorithm for the Plane
Arnon, Dennis S., Collins, George E., McCallum, ScottVolume:
13
Language:
english
Journal:
SIAM Journal on Computing
DOI:
10.1137/0213055
Date:
November, 1984
File:
PDF, 1.42 MB
english, 1984