Tractable constraints in finite semilattices
Under an Elsevier user license
open archive
Keywords
Finite semilattices
Constraint satisfiability
Program analysis
Tractability
Algorithms
Cited by (0)
- 1
This work was done while the first author was at DIKU.
Copyright © 1999 Elsevier Science B.V. All rights reserved.