diff-SAT -- A Software for Sampling and Probabilistic Reasoning for SAT and Answer Set Programming

Matthias Nickles

This paper describes diff-SAT, an Answer Set and SAT solver which combines regular solving with the capability to use probabilistic clauses, facts and rules, and to sample an optim…