Artificial Neural Networks that Learn to Satisfy Logic Constraints | Read Paper on Bytez