Looking for Signs: Reasoning About FOBNNs Using SAT

Hans-Jörg Schurr, Athénaïs Vaginay

First-Order Boolean Networks with Non-deterministic updates (FOBNN) compute a boolean transition graph representing the absence and presence of species over time. The utility of FO…