Cultural advice

The Australian National University acknowledges, celebrates and pays our respects to the Ngunnawal and Ngambri people of the Canberra region and to all First Nations Australians on whose traditional lands we meet and work, and whose cultures are among the oldest continuing cultures in human history.

Aboriginal and Torres Strait Islander peoples are advised that ANU Library collections may include images, names, voices, and other representations of deceased persons.

Material in the collection may contain terms, language or views that reflect the period in which the item was created and may be considered inappropriate today.

Multiple preprocessing for systematic SAT solvers

Date

Authors

Anbulagan, Anbu

Slaney, John K

Publisher

Conference Organising Committee

Abstract

High-performance SAT solvers based on systematic search generally use either conflict driven clause learning (CDCL) or lookahead techniques to gain efficiency. Both styles of reasoning can gain from a preprocessing phase in which some form of deduction is

Keywords

Keywords: Clause learning; Empirical examination; Gain efficiency; Preprocessing phase; SAT solvers; Systematic searches; Artificial intelligence

URI

http://hdl.handle.net/1885/25158

Collections

ANU Research Publications

Source

Proceedings of 6th International Workshop on the Implementation of Logics (IWIL-06)

Type

Conference paper

Restricted until

2037-12-31

Downloads

File

Description

01_Anbulagan_Multiple_preprocessing_for_2006.pdf (60.55 KB)

02_Anbulagan_Multiple_preprocessing_for_2006.pdf (3.45 MB)

03_Anbulagan_Multiple_preprocessing_for_2006.pdf (429.43 KB)

04_Anbulagan_Multiple_preprocessing_for_2006.pdf (308.45 KB)