Sign in
A Study of SAT-Based Branching Heuristics for the CSP.
Yannis Argyropoulos
Kostas Stergiou
Published in:
SETN (2008)
Keyphrases
</>
search algorithm
empirical studies
objective function
statistical analysis