Bidirectional reasoning in decision making by constraint satisfaction. | Synapse