First-Order Logic Inference Task

A First-Order Logic Inference Task is a logic inference task that requires First-Order Logic Sentence

• See: First-Order Sentence Satisfiability Task, Backtracking(DPLL), Stochastic Local Search(WalkSAT).

---