Realization of c-Inference as a SAT Problem.

Christoph Beierle, Martin von Berg, Arthur Sanin

Browse the full FlAIRS paper archive.