David A. Rosenblueth, Stalin Muñoz, Miguel A. Carrillo, Eugenio Azpeitia. Inference of Boolean Networks from Gene Interaction Graphs Using a SAT Solver. In Adrian Horia Dediu, Carlos Martín-Vide, Bianca Truthe, editors, Algorithms for Computational Biology - First International Conference, AlCoB 2014, Tarragona, Spain, July 1-3, 2014, Proceedigns. Volume 8542 of Lecture Notes in Computer Science, pages 235-246, Springer, 2014. [doi]
Abstract is missing.