Ole I. Hougaard

Learn More
We define a family of constraints over the domain of regular terms. This family is built by extending equality with general constraints over root labels. We say that the resulting constraints are hybrid. Under the assumption that these constraints are stable with respect to a partial ordering we give an efficient constraint solver for hybrid constraints. We(More)
  • 1