Regular ArticlesLocal Box Adjacency Algorithms for Cylindrical Algebraic Decompositions
Under an Elsevier user license
open archive
Cited by (0)
Copyright © 2002 Elsevier Science Ltd. All rights reserved.