ReadGlim
Solving Hard XAI Queries Based on a Compiled Dual-Rail Encoding — ReadGlim