Sat23 Paper
📄 Our paper Explaining SAT Solving Using Causal Reasoning has been accepted at SAT 2023! Joint work with Jiong Yang, Arijit Shaw, Mate Soos, and Kuldeep S. Meel.
📄 Our paper Explaining SAT Solving Using Causal Reasoning has been accepted at SAT 2023! Joint work with Jiong Yang, Arijit Shaw, Mate Soos, and Kuldeep S. Meel.