We gratefully acknowledge support from
the Simons Foundation and member institutions.

Jiong Yang and Arijit Shaw are qualified to endorse.

Explaining SAT Solving Using Causal Reasoning

Jiong Yang: Is registered as an author of this paper.
Can endorse for cs.AI, cs.LO. (why?)
Arijit Shaw: Is registered as an author of this paper.
Can endorse for cs.LO. (why?)

Teodora Baluta, Mate Soos and Kuldeep S. Meel are not registered as owners of this paper. (why?)