Are arc inconsistencies predictable?


Are arc consistency algorithms such as AC-3 inevitable for CSP to be solved more efficiently through pruning of inconsistent values? Can’t we use the constraints that we have and predict arc inconsistencies by way of logical inference? Arc consistency algorithms feel quite primitive…There must be a more sophisticated way.