Boolean Quantifier Elimination for Automotive Configuration - A Case Study.

Christoph Zengler, Wolfgang Kchlin

Browse the full FMICS paper archive.