Constraint Solving for Term Orderings Compatible with Abelian Semigroups, Monoids and Groups Guillem GodoyRobert Nieuwenhuis OriginalPaper Pages: 167 - 192
EvIA - Evidential Interval Algebra and Heuristic Backtrack-Free Algorithm S. Durga BhavaniArun K. Pujari OriginalPaper Pages: 193 - 218
Tractable Decision for a Constraint Language Implies Tractable Search D. A. Cohen OriginalPaper Pages: 219 - 229