Justyna Petke

Bridging Constraint Satisfaction and Boolean Satisfiability
Search Based Software Engineering