Scalable Coupling of Deep Learning with Logical Reasoning

Publication
First International Workshop on Discrete Optimization with Soft Constraint.