News
08/2020
Our second paper on client-specific equivalence checking was accepted at
ASE '20
!
07/2020
Our SAT Solvers (joint work with
Randy Hickey
and
Fahiem Bacchus
) Cadical-alluip-trail and Cadical-alluip won the planning track of
SAT Competition 2020