Symbolic trajectory evaluation using a satisfiability solver (2005)

by J-W Roorda
Venue:University of Waterloo