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