The computational complexity of the circuit value and network stability problems | lit.salon