Advances in Local Search for Satisfiability

File Size Format
49556_1.pdf 247Kb Adobe PDF View
Title Advances in Local Search for Satisfiability
Author Pham, Duc Nghia; Thornton, John Richard; Gretton, Charles; Sattar, Abdul
Publication Title AI 2007: Advances in Artificial Intelligence
Editor Mehmet A. Orgun, John Thornton
Year Published 2007
Publisher Springer
Peer Reviewed Yes
Published Yes
Publisher URI http://www.cit.gu.edu.au/conferences/austai/
Alternative URI http://www.springer.com/computer/artificial/book/978-3-540-76926-2
Copyright Statement Copyright 2007 Springer. 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 Science, Environment, Engineering and Technology
Publication Type Conference Publications (Full Written Paper - Refereed)

Full Record

Griffith University copyright notice