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

2008

ANU Authors

Field of Research

  • Artificial Intelligence And Image Processing Not Elsewhere Classified

Updated:  12 November 2019 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers