Explaining SAT Solving Using Causal Reasoning

Jiong Yang, Arijit Shaw, Teodora Baluta +2

The past three decades have witnessed notable success in designing efficient SAT solvers, with modern solvers capable of solving industrial benchmarks containing millions of variab…