Explaining SAT Solving Using Causal Reasoning.

Jiong Yang, Arijit Shaw, Teodora Baluta, Mate Soos, Kuldeep S. Meel

Browse the full SAT paper archive.