Exercise 9.10 [csp-clause-exercise]
Explain how to write any given 3-SAT problem of arbitrary size using a single first-order definite clause and no more than 30 ground facts.
Answer
Improve This Solution
View Answer
Exercise 9.10 [csp-clause-exercise]
Explain how to write any given 3-SAT problem of arbitrary size using a single first-order definite clause and no more than 30 ground facts.