Fig. 3
From: Repairing Boolean logical models from time-series data using Answer Set Programming
Cardinality minimal solutions for steady state. Model of a signalling-regulatory network at steady state before and after repair operations. The repair operations shown are some of the cardinality minimal solutions. Green (red) nodes represent the assignment of a node to the value true (false)