Additive versus Multiplicative Clause Weighting for SAT

File Size Format
22739_1.pdf 197Kb Adobe PDF View
Title Additive versus Multiplicative Clause Weighting for SAT
Author Thornton, John; Pham, Duc Nghia; Bain, Stuart; Ferreira, Valnir
Publication Title Proceedings : Nineteenth National Conference on Artificial Intelligence (AAAI-04) : Sixteenth Innovative Applications of Artificial Intelligence Conference (IAAI-04)
Editor David Leake (Editor-in Chief)
Year Published 2004
Place of publication Menlo Park, Calif.
Publisher AAAI Press/MIT Press
Peer Reviewed Yes
Published Yes
Publisher URI http://www.aaai.org/Press/Proceedings/proceedings.php
ISBN 0-262-51183-5
Conference name National Conference on Artificial Intelligence
Location San Jose, California
Date From 2004-07-25
Date To 2004-07-29
URI http://hdl.handle.net/10072/2139
Date Accessioned 2005-03-29
Language en_AU
Research Centre Institute for Integrated and Intelligent Systems
Faculty Faculty of Engineering and Information Technology
Subject Other Artificial Intelligence
Publication Type Conference Publications (Full Written Paper - Refereed)
Publication Type Code e1

Show simple item record

Griffith University copyright notice