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.

Implementation of critical path heuristics for SAT

Thumbnail Image

Date

2012

Authors

Huang, Jinbo

Journal Title

Journal ISSN

Volume Title

Publisher

IOS Press BV

Access Statement

Research Projects

Organizational Units

Journal Issue

Abstract

Recent work has shown that SAT can be theoretically more powerful than heuristic search provided the heuristic used by search is implemented as a set of clauses on which unit propagation simulates the evaluation of the heuristic. The hmax heuristic has been shown to be implemented trivially by the empty set of clauses. This paper presents an implementation of hm, a generalization of hmax.

Description

Keywords

Citation

URI

https://hdl.handle.net/1885/733799079

Collections

ANU Research Publications

Source

Type

Conference paper

Book Title

ECAI 2012 - 20th European Conference on Artificial Intelligence, 27-31 August 2012, Montpellier, France - Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstration

Entity type

Publication

Access Statement

License Rights

DOI

10.3233/978-1-61499-098-7-907

Restricted until

DSpace software copyright © 2002-2026 LYRASIS

abcd