73
Voted
JAIR
2006
15 years 12 days ago
2006
It was recently proved that a sound and complete qualitative simulator does not exist, that is, as long as the input-output vocabulary of the state-of-the-art QSIM algorithm is us...