865 followers
@dleberre I have never given up on BDDs and other (core SAT community folks) neither (also with the help of BDD veterans - I did my PhD on BDDs). See for instance the cool TACAS'21 paper https://t.co/dWPFJoefs1 by Randy and Marijn. We also got accepted a