Explaining SAT Solving Using Causal Reasoning.

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

Published in: CoRR (2023)

Keyphrases

causal reasoning
sat solving
sat solvers
causal models
boolean satisfiability
knowledge representation
sat problem
default logic
symmetry breaking
max sat
directed acyclic graph
orders of magnitude
search tree
sat encodings
machine learning
constraint satisfaction
search space
artificial intelligence