Many problems having enormous search spaces can nevertheless be solved because only a very small fraction of that space need be traversed to find the needed solution(s). The ability of assumption-based truth maintenance systems to rapidly switch and compare contexts is an advantage for such problems, but existing ATMS techniques generally perform badly on them. This paper describes a new strate...
