SAT-based consistency checking of automotive electronic product data (2000)

by C Sinz, A Kaiser, W Küchlin
Venue:in ECAI Workshop