SAT-DIFF: A Tree Diffing Framework Using SAT Solving.

Chuqin Geng Haolin Ye Yihan Zhang Brigitte Pientka Xujie Si

Published in: CoRR (2024)

Keyphrases

sat solving
sat solvers
boolean satisfiability
special case
optimization problems
planning problems
max sat
boolean optimization