Weighted propositional configuration logics: a specification language for architectures with quantitative features

From MaRDI portal