Gadi Pinkas, Shimon Cohen: High-order Networks that Learn to Satisfy Logic Constraints. FLAP 6(4): 653-694 (2019)