A Multilevel Approach for the Satisfiability Problem
- Authors
- N. Bouhmala and X. Cai
- Status
- Published
- Publication type
- Journal Article
- Year of publication
- 2009
- Journal
- ISAST Transactions on Computers and Intelligent Systems
- Publisher
- -
- Citation key
- 10714