Massively Parallel Assumption-Based Truth Maintenance.

Michael Dixon, Johan de Kleer

Browse the full AAAI paper archive.