TY - RPRT TI - Solving the Satisfiability Problem Through Boolean Networks AU - Andrea Roli AU - Michela Milano PY - 2011 UR - https://arxiv.org/abs/1101.6009 ID - 1101.6009 ER -