Oregon State University. Dept. of Computer Science; Takikawa, Masami; Crowl, Lawrence Alan, 1959- (Corvallis, OR : Oregon State University, Dept. of Computer Science, 1994-11)
Augmented term rewriting (ATR) is a simple, uniform, and extensible computational model for constraint programming. Unfortunately, ATR cannot solve combinatorial constraint satisfaction problems (CCSPs). To enable soluti ...