Local Search with Configuration Checking for SAT

There are no files associated with this record.

Title Local Search with Configuration Checking for SAT
Author Cai, Shaowei; Su, Kaile
Publication Title Proceedings of 2011 23rd IEEE International Conference on Tools with Artificial Intelligence ICTAI 2011
Editor Taghi M. Khoshgoftaar and Xingquan (Hill) Zhu
Year Published 2011
Publisher IEEE
Peer Reviewed Yes
Published Yes
Alternative URI http://dx.doi.org/10.1109/ICTAI.2011.18
Faculty Faculty of Science, Environment, Engineering and Technology
Publication Type Conference Publications (Full Written Paper - Refereed)

Show full item record

Griffith University copyright notice