Search Based Software Engineering Search Based Software Engineering
2017
Bridging Constraint Satisfaction and Boolean Satisfiability Bridging Constraint Satisfaction and Boolean Satisfiability
2015