Building Structure into Local Search for SAT

There are no files associated with this record.

Title Building Structure into Local Search for SAT
Author Pham, Duc Nghia; Thornton, John Richard; Sattar, Abdul
Publication Title IJCAI-07, Proceedings of the 20th International Joint Conference on Artificial Intelligence
Editor Manuela Velosa
Year Published 2007
Peer Reviewed Yes
Published Yes
Publisher URI http://www.ijcai.org/
Research Centre Institute for Integrated and Intelligent Systems
Faculty Faculty of Science, Environment, Engineering and Technology
Publication Type Conference Publications (Full Written Paper - Refereed)

Show full item record

Griffith University copyright notice