Jinqiang Yu, Graham Farr, Alexey Ignatiev, Peter J. Stuckey: Anytime Approximate Formal Feature Attribution. SAT 2024: 30:1-30:23