Jun Yuan Ken Albin Adnan Aziz Carl Pixley Simplifying Constraint Solving in Random Simulation Generation. 185-190 2002 IWLS db/conf/iwls/iwls2002.html#YuanAAP02