Justyna Petke

Search Based Software Engineering

Bridging Constraint Satisfaction and Boolean Satisfiability