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

2005

ANU Authors

Field of Research

  • Artificial Intelligence And Image Processing Not Elsewhere Classified

Updated:  14 August 2020 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers