Lookahead saturation with restriction for SAT
Citation
Anbulagan, A & Slaney, J 2005, 'Lookahead saturation with restriction for SAT', International Conference on Principles and Practice of Constraint Programming (CP 2005), ed. Peter van Beek, Springer, Berlin, pp. 727-731.Year
2005ANU Authors
Field of Research
- Artificial Intelligence And Image Processing Not Elsewhere Classified