Parallel Arc-Consistency for Functional Constraints.
Alvaro Ruiz-Andino, Lourdes Araujo, Fernando Senz-Prez, Jos J. Ruz
VenueBICLP
Year1998
ProceedingsImplementation Technology for Programming Languages based on Logic
DBLP recordconf/iclp/Ruiz-AndinoASR98 ↗
Browse the full ICLP paper archive.