AuthorsN. Bouhmala and X. Cai
TitleA Multilevel Approach for the Satisfiability Problem
Afilliation, , Scientific Computing
Project(s)Center for Biomedical Computing (SFF)
StatusPublished
Publication TypeJournal Article
Year of Publication2009
JournalISAST Transactions on Computers and Intelligent Systems
Volume1
Number2
Pagination29-37
Citation KeySimula.sc.742