Extension of the Revised Simplex Method for Detecting Implicit Equalities in Constraint Logic Programming.
VenueBICLP
Year1998
ProceedingsImplementation Technology for Programming Languages based on Logic
DBLP recordconf/iclp/Refalo98 ↗
Browse the full ICLP paper archive.