Estimating Problem Metrics for SAT Clause Weighting Local Search.
W. Pullan, L. Zhao, and J. Thornton. Australian Conference on Artificial Intelligence, volume 2903 of Lecture Notes in Computer Science, page 137-149. Springer, (2003)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/ausai/PullanZT03
%A Pullan, Wayne J.
%A Zhao, Liang
%A Thornton, John
%B Australian Conference on Artificial Intelligence
%D 2003
%E Gedeon, Tamás D.
%E Fung, Lance Chun Che
%I Springer
%K dblp
%P 137-149
%T Estimating Problem Metrics for SAT Clause Weighting Local Search.
%U http://dblp.uni-trier.de/db/conf/ausai/ausai2003.html#PullanZT03
%V 2903
%@ 3-540-20646-9
@inproceedings{conf/ausai/PullanZT03,
added-at = {2017-12-25T00:00:00.000+0100},
author = {Pullan, Wayne J. and Zhao, Liang and Thornton, John},
biburl = {https://www.bibsonomy.org/bibtex/2b0c3829cb7f3e863a6f7ff817eb52392/dblp},
booktitle = {Australian Conference on Artificial Intelligence},
crossref = {conf/ausai/2003},
editor = {Gedeon, Tamás D. and Fung, Lance Chun Che},
ee = {https://doi.org/10.1007/978-3-540-24581-0_12},
interhash = {a6834cd382d0164dfb74af74d48c1b7a},
intrahash = {b0c3829cb7f3e863a6f7ff817eb52392},
isbn = {3-540-20646-9},
keywords = {dblp},
pages = {137-149},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-05-15T16:15:26.000+0200},
title = {Estimating Problem Metrics for SAT Clause Weighting Local Search.},
url = {http://dblp.uni-trier.de/db/conf/ausai/ausai2003.html#PullanZT03},
volume = 2903,
year = 2003
}