Tony Jermyn wrote:Always thought AIC was under rated so have applied it as often as possible recently. Thing is more often than not it generates a contradiction long before you get to the x cannot be in... and y cannot be in.... etc.
While this often solves it is most frustrating and artificial.
I am not sure what you mean. AIC's never can produce any contradiction. Like in NL they just say, that either the left sides or the right sides of a chain (in AIC the statements immediately left or rigtht of "=") - or both - must be true.
Edit: Ah, i probably see, what you mean. You start with "either this is 3 or that" and before you come to an elimination from the growing AIC, one of the arms of the AIC dies out in a contradiction. This isnt an AIC anymore then, but - yes, this often happens to me (and i have no problem with it).