Behavior abstraction for tractable simulationQualitative simulation as a temporally-extended constraint satisfaction problem
