Multiple preprocessing for systematic SAT solvers

Citation

Anbulagan, A & Slaney, J 2006, 'Multiple preprocessing for systematic SAT solvers', International Workshop on the Implementation of Logics (IWIL 2006), ed. C. Benzmueller, B. Fischer, G. Sutcliffe, Conference Organising Committee, Germany, pp. 100-116.

Year

2006

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