Local Box Adjacency Algorithms for Cylindrical Algebraic Decompositions

@article{McCallum2002LocalBA,
  title={Local Box Adjacency Algorithms for Cylindrical Algebraic Decompositions},
  author={Scott McCallum and George E. Collins},
  journal={J. Symb. Comput.},
  year={2002},
  volume={33},
  pages={321-342}
}
Highly Cited
This paper has 23 citations. REVIEW CITATIONS
15 Citations
0 References
Similar Papers

Similar Papers

Loading similar papers…