Sign in

Using simulation and satisfiability to compute flexibilities in Boolean networks.

Alan MishchenkoJin S. ZhangSubarnarekha SinhaJerry R. BurchRobert K. BraytonMalgorzata Chrzanowska-Jeske
Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2006)
Keyphrases
  • boolean networks
  • gene regulatory networks
  • data sets
  • machine learning
  • data management
  • markov chain
  • mathematical model