Constraint-Based Verification by Jin Yuan, Adnan Aziz & Carl Pixley