Regular paperIncremental algorithms for optimizing model computation based on partial instantiation
Under an Elsevier user license
open archive
Cited by (0)
Research partially sponsored by NSERC Grants OGP0138055 and STR0134419.
Copyright © 1997 Published by Elsevier Inc.