1. Constraint Solving for Term Orderings Compatible with Abelian Semigroups, Monoids and Groups

   • Guillem Godoy
   • Robert Nieuwenhuis

   OriginalPaper Pages: 167 - 192

2. EvIA - Evidential Interval Algebra and Heuristic Backtrack-Free Algorithm

   • S. Durga Bhavani
   • Arun K. Pujari

   OriginalPaper Pages: 193 - 218

3. Tractable Decision for a Constraint Language Implies Tractable Search

   • D. A. Cohen

   OriginalPaper Pages: 219 - 229