Artificial Neural Networks that Learn to Satisfy Logic Constraints

Gadi Pinkas, Shimon Cohen

Logic-based problems such as planning, theorem proving, or puzzles, typically involve combinatoric search and structured knowledge representation. Artificial neural networks are ve…