Citation

If you are using BoNesis, please use at least the following citation:

Chevalier, S., Froidevaux, C., Paulevé, L., & Zinovyev, A. (2019). Synthesis of Boolean Networks from Biological Dynamical Constraints using Answer-Set Programming. In 2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI) (p. 34-41). Portland, Oregon, United States. IEEE. doi:10.1109/ICTAI.2019.00014

@InProceedings{bonesis-ICTAI19,
  author      = {Chevalier, St{\'e}phanie and Froidevaux, Christine and Paulev{\'e}, Lo{\"i}c and Zinovyev, Andrei},
  title       = {{Synthesis of Boolean Networks from Biological Dynamical Constraints using Answer-Set Programming}},
  booktitle   = {{2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI)}},
  year        = {2019},
  pages       = {34-41},
  address     = {Portland, Oregon, United States},
  publisher   = {{IEEE}},
  doi         = {10.1109/ICTAI.2019.00014}
}

See also Related publications for references related to specific aspects of methodology.