Solving the 3-Satisfiability Problem Using Network-Based Biocomputation. - Jingyuan Zhu; Aseem Salhotra; Christoph Robert Meinecke; Pradheebha Surendiran; Roman Lyttleton; Danny Reuter; Hillel Kugler; Stefan Diez; Alf Månsson; Heiner Linke; Till Korten (Adv. Intell. Syst., 2022)