Combining Zhegalkin Polynomials and SAT Solving for Context-Specific Boolean Modeling of Biological Systems. - Vincent Deman; Marine Ciantar; Laurent Naudin; Philippe Castera; Anne-Sophie Beignon (IEEE ACM Trans. Comput. Biol. Bioinform., 2024)