SAT-Based Consistency Checking of Automotive Electronic Product Data (2000)

by Carsten Sinz, Andreas Kaiser, Wolfgang Küchlin
Venue:ECAI Workshop