Empirical analysis and optimization of an NP−hard problem using CSP and FDR