Constraint satisfaction-aided plan recognition | lit.salon