Constraint Satisfaction Consistency: Algorithms for Arc and Path Consistency to Reduce Search Space in Combinatorial Problems
Neuro-Symbolic AI: Hybridising Deep Learning Perceptrons with Symbolic Logic Reasoning
