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
Publisher AAAI Press/MIT Press
Peer Reviewed Yes
Published Yes
Publisher URI http://www.aaai.org/Press/Proceedings/proceedings.php
Research Centre Institute for Integrated and Intelligent Systems
Faculty Faculty of Engineering and Information Technology
Publication Type Conference Publications (Full Written Paper - Refereed)

Show full item record

Griffith University copyright notice