Justyna Petke · 2 obras en el catálogoObrasSearch Based Software EngineeringBridging Constraint Satisfaction and Boolean Satisfiability