Artificial Neural Networks that Learn to Satisfy Logic Constraints
Long Short Term Memory