Variations on Backtracking for TMS

Ulrich Junker. Variations on Backtracking for TMS. In João P. Martins, Michael Reinfrank, editors, Truth Maintenance Systems, ECAI-90 Workshop, Stockholm, Sweden, August 6, 1990, Proceedings. Volume 515 of Lecture Notes in Computer Science, pages 17-33, Springer, 1990.

Abstract

Abstract is missing.