Craenen, B. G. W., Paechter, B., "A Conflict Tabu Search Evolutionary Algorithm for Solving Constraint Satisfaction Problems", , 2025