A pseudo-boolean programming approach for CMOL cell assignment

摘要

In this paper, we introduce a pseudo-boolean programming approach to CMOL cell assignment. Unlike the SAT-based method, we encode the CMOL cell assignment problem as pseudo-boolean (PB) constraints; and the problem can be solved by using PB solver. The proposed method is tested on ISCAS benchmarks. Experimental results show that the proposed method has small constraints files, and can deal with some circuits while the SAT-based method can't do.