Abstract: We present a method employing Answer Set Programming in combination with Approximate Model Counting for fast and accurate calculation of error propagation ...