Combining Adaptive and Dynamic Local Search for Satisfiability
Citation
Pham, D, Thornton, J, Gretton, C et al 2008, 'Combining Adaptive and Dynamic Local Search for Satisfiability', Journal on Satisfiability, Boolean Modeling and Computation, vol. 4, no. 2-4, pp. 149--172.Year
2008ANU Authors
Field of Research
- Artificial Intelligence And Image Processing Not Elsewhere Classified