An Investigation of Variable Relationships in 3-SAT problems

File Size Format
21112.pdf 151Kb Adobe PDF View
Title An Investigation of Variable Relationships in 3-SAT problems
Author Kravchuk, Olena; Pullan, Wayne John; Thornton, John; Sattar, Abdul
Publication Title AI 2002: Advances in Artificial Intelligence
Editor Bob McKay, John Slaney
Year Published 2002
Publisher Springer
Peer Reviewed Yes
Published Yes
Alternative URI http://dx.doi.org/10.1007/3-540-36187-1_51
Copyright Statement Copyright 2002 Springer-Verlag. This is the author-manuscript version of this paper. Reproduced in accordance with the copyright policy of the publisher. The original publication is available at www.springerlink.com
Research Centre Institute for Integrated and Intelligent Systems
Faculty Faculty of Engineering and Information Technology
Publication Type Conference Publications (Full Written Paper - Refereed)

Full Record

Griffith University copyright notice