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