Synthesis of Boolean Networks from Biological Dynamical Constraints using Answer-Set Programming | IEEE Conference Publication | IEEE Xplore