A linear reformulation of Boolean optimization problems and structure identification of gene regulation networks | IEEE Conference Publication | IEEE Xplore