External Links

    Journal: Constraints

    Volume 9, Issue 3

    167 -- 192Guillem Godoy, Robert Nieuwenhuis. Constraint Solving for Term Orderings Compatible with Abelian Semigroups, Monoids and Groups
    193 -- 218S. Durga Bhavani, Arun K. Pujari. EvIA - Evidential Interval Algebra and Heuristic Backtrack-Free Algorithm
    219 -- 229David A. Cohen. Tractable Decision for a Constraint Language Implies Tractable Search
    runs on