An Interval Lattice-Based Constraint Solving Framework for Lattices.
Antonio J. Fernndez, Patricia M. Hill
VenueNationalFLOPS
Year1999
ProceedingsFuji International Symposium on Functional and Logic Programming
DBLP recordconf/flops/FernandezH99 ↗
Browse the full FLOPS paper archive.