Explaining SAT Solving Using Causal Reasoning.

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

Published in: SAT (2023)

Keyphrases

causal reasoning
sat solving
sat solvers
sat problem
boolean satisfiability
causal models
directed acyclic graph
default logic
knowledge representation
symmetry breaking
sat instances
general purpose
orders of magnitude
constraint satisfaction
max sat