Constraint-Based and SAT-Based Diagnosis of Automotive Configuration Problems: no subtitle

Rouven Walter, Wolfgang Küchlin, Alexander Felfernig

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'Constraint-Based and SAT-Based Diagnosis of Automotive Configuration Problems: no subtitle'. Together they form a unique fingerprint.