Published onMarch 14, 2021AI 3: Logical Agents and First-Order LogicAI questions on Adversarial Search and Constrain Satisfaction Problems answered by Jeff RussAIArtificial-IntelligenceAdversarial-SearchCSPConstrain-Satisfaction