Professor Adnan Darwiche

Digital Library

ACM Fellows

USA - 2018

citation

For contributions to the foundations and technology of automated reasoning

Press Release