1
2
by Lambers, Leen.
Published 2023
Format:
Table of Contents: ... Formalism -- 2.2 Model Counting -- 3 The Goal-Conict Resolution Problem -- 4 ACoRe: Automated Goal-Conict...
Click to View