Extending unit propagation look-ahead for DPLL procedure

A Anbulagan

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	PRICAI 2004: Trends in Artificial Intelligence
Editors	Chengqi Zhang, Hans Guesgen, Wai-Kiang Yeap
Place of Publication	New Zealand
Publisher	Springer
Pages	173-182
Edition	Peer Reviewed
ISBN (Print)	3540228179
Publication status	Published - 2004
Event	8th Pacific Rim International Conference on Artificial Intelligence (PRICAI 2004) - Auckland New Zealand Duration: 1 Jan 2004 → … http://www.pricai04.info/

Conference	8th Pacific Rim International Conference on Artificial Intelligence (PRICAI 2004)
Period	1/01/04 → …
Other	August 9-13 2004
Internet address	http://www.pricai04.info/

Cite this

@inproceedings{0c4b0ab949774acf853885cdac465136,

title = "Extending unit propagation look-ahead for DPLL procedure",

author = "A Anbulagan",

year = "2004",

language = "English",

isbn = "3540228179",

pages = "173--182",

editor = "{Chengqi Zhang, Hans Guesgen, Wai-Kiang Yeap}",

booktitle = "PRICAI 2004: Trends in Artificial Intelligence",

publisher = "Springer",

edition = "Peer Reviewed",

note = "8th Pacific Rim International Conference on Artificial Intelligence (PRICAI 2004) ; Conference date: 01-01-2004",

url = "http://www.pricai04.info/",

}

TY - GEN

T1 - Extending unit propagation look-ahead for DPLL procedure

AU - Anbulagan, A

PY - 2004

Y1 - 2004

M3 - Conference contribution

SN - 3540228179

SP - 173

EP - 182

BT - PRICAI 2004: Trends in Artificial Intelligence

A2 - null, Chengqi Zhang, Hans Guesgen, Wai-Kiang Yeap

PB - Springer

CY - New Zealand

T2 - 8th Pacific Rim International Conference on Artificial Intelligence (PRICAI 2004)

Y2 - 1 January 2004

ER -