Carsten Sinz, Andreas Kaiser, Wolfgang Küchlin. Detection of Inconsistencies in Complex Product Configuration Data Using Extended Propositional SAT-Checking. In Ingrid Russell, John F. Kolen, editors, Proceedings of the Fourteenth International Florida Artificial Intelligence Research Society Conference, May 21-23, 2001, Key West, Florida, USA. pages 645-649, AAAI Press, 2001.
Abstract is missing.