Trustable Explainable AI - SAT to the Rescue (Invited Talk).

Joo Marques-Silva

Browse the full SAT paper archive.