2 works on record
Search Based Software Engineering
Bridging Constraint Satisfaction and Boolean Satisfiability