Combining Adaptive and Dynamic Local Search for Satisfiability

There are no files associated with this record.

Title Combining Adaptive and Dynamic Local Search for Satisfiability
Author Pham, Duc Nghia; Thornton, John Richard; Gretton, Charles; Sattar, Abdul
Editor Hans van Maaren (Editor-in-Chief)
Year Published 2008
Publisher IOS Press
Citation Journal on Satisfiability, Boolean Modeling and Computation, Vol. 4, pp. 149-172
Peer Reviewed Yes
Published Yes
Publisher URI http://www.iospress.nl/journal/journal-on-satisfiability-boolean-modeling-and-computation/
Copyright Statement Self-archiving of the author-manuscript version is not yet supported by this journal. Please refer to the journal link for access to the definitive, published version or contact the author[s] for more information.
Research Centre Institute for Integrated and Intelligent Systems
Faculty Faculty of Science, Environment, Engineering and Technology
Publication Type Journal Articles (Refereed Article)

Show full item record

Griffith University copyright notice