135 citations · 189 across the 8 of their papers we have counts for
1 paper · 1 filter
Martin Gebser, Roland Kaminski, Torsten Schaub
We present the Linux package configuration tool aspcud based on Answer Set Programming. In particular, we detail aspcud's preprocessor turning a CUDF specification into a set of lo…