Correct me if I'm wrong, but this is usually not handled by SAT solvers, is it?
Internally we use SAT solvers to schedule resources on medical devices which makes the device look "smart", but this is not AI...
Internally we use SAT solvers to schedule resources on medical devices which makes the device look "smart", but this is not AI...
I said on another comment that I work on a logic checker for English, detecting automatically logical fallacies from text. I consider such a task to be AI and how could SAT help to check if the conclusion of a syllogism follow?
"Internally we use SAT solvers to schedule resources on medical devices" this is cool!