Detection of Inconsistencies in Complex Product Configuration Data Using Extended Propositional SAT-Checking.

Carsten Sinz, Andreas Kaiser, Wolfgang Kchlin

Browse the full FlAIRS paper archive.