Login / Signup
SPABBATS: A pathway-discovery method based on Boolean satisfiability that facilitates the characterization of suppressor mutants.
Lope A. Flórez
Katrin Gunka
Rafael Polanía
Stefan Tholen
Jörg Stülke
Published in:
BMC Syst. Biol. (2011)
Keyphrases
</>
reinforcement learning
objective function
upper bound
randomly generated
boolean satisfiability