Benchmarking Łukasiewicz Logic Solvers with Properties of Neural Networks | Publicación