An elimination algorithm for functional constraints

Yuanlin Zhang, Roland H.C. Yap, Chendong Li, Satyanarayana Marisetti

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Fingerprint

Dive into the research topics of 'An elimination algorithm for functional constraints'. Together they form a unique fingerprint.

Mathematics