135 citations · 329 across the 25 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…