TY  - RPRT
TI  - Solving Hard XAI Queries Based on a Compiled Dual-Rail Encoding
AU  - Arthur Ledaguenel
AU  - Florent Capelli
AU  - Jean-Marie Lagniez
PY  - 2026
UR  - https://arxiv.org/abs/2609.04931
ID  - 2609.04931
ER  -