https://9lib.net/document/6qm4j1wq-artificial-algorithm-training-symbolic-function-network-satisfiability-programming.html