We are experiencing issues opening hdl.handle.net links on ANU campus. If you are experiencing issues, please contact the repository team repository.admin@anu.edu.au for assistance.
 

Extending unit propagation look-ahead for DPLL procedure

Date

2004

Authors

Anbulagan, Anbu

Journal Title

Journal ISSN

Volume Title

Publisher

Springer

Abstract

Description

Keywords

Citation

URI

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

Collections

ANU Research Publications

Source

PRICAI 2004: Trends in Artificial Intelligence

Type

Conference paper

Book Title

Entity type

Access Statement

License Rights

DOI

Restricted until

2037-12-31

Downloads

File
Description
01_Anbulagan_Extending_unit_propagation_2004.pdf (149.66 KB)
Back to topicon-arrow-up-solid
 
APRU
IARU
 
edX
Group of Eight Member

Acknowledgement of Country

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.

Contact ANUCopyrightDisclaimerPrivacyFreedom of Information

+61 2 6125 5111 The Australian National University, Canberra

TEQSA Provider ID: PRV12002 (Australian University) CRICOS Provider Code: 00120C ABN: 52 234 063 906

DSpace software copyright © 2002-2025 LYRASIS