Nano-meter CMOS circuit cell assignment based on pseudo-boolean satisfiability

被引：0
|
作者：
Wang, Xian-Jian [1 ]
Wang, Lun-Yao [1 ]
Chu, Zhu-Fei [1 ]
Xia, Yin-Shui [1 ]
机构：
[1] Faculty of Information Science and Engineering, Ningbo University, Ningbo 315211, China
来源：
Dianzi Yu Xinxi Xuebao/Journal of Electronics and Information Technology | 2012年 / 34卷 / 10期
关键词：
D O I：
10.3724/SP.J.1146.2012.00375
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：2508 / 2513
相关论文
共 50 条
  • [31] A boolean satisfiability based solution to the routing and wavelength assignment problem in optical telecommunication networks
    Valavi, J
    Saluja, N
    Khatri, SP
    ICC 2005: IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS, VOLS 1-5, 2005, : 1802 - 1806
  • [32] N-level Modulo-Based CNF encodings of Pseudo-Boolean constraints for MaxSAT
    Zha, Aolong
    Koshimura, Miyuki
    Fujita, Hiroshi
    CONSTRAINTS, 2019, 24 (02) : 133 - 161
  • [33] An MDD-based SAT encoding for pseudo-Boolean constraints with at-most-one relations
    Bofill, Miquel
    Coll, Jordi
    Suy, Josep
    Villaret, Mateu
    ARTIFICIAL INTELLIGENCE REVIEW, 2020, 53 (07) : 5157 - 5188
  • [34] A semantic relatedness preserved subset extraction method for language corpora based on pseudo-Boolean optimization
    Dong, Luobing
    Guo, Qiumin
    Wu, Weili
    Satpute, Meghana N.
    THEORETICAL COMPUTER SCIENCE, 2020, 836 : 65 - 75
  • [35] An MDD-based SAT encoding for pseudo-Boolean constraints with at-most-one relations
    Miquel Bofill
    Jordi Coll
    Josep Suy
    Mateu Villaret
    Artificial Intelligence Review, 2020, 53 : 5157 - 5188
  • [36] N-level Modulo-Based CNF encodings of Pseudo-Boolean constraints for MaxSAT
    Aolong Zha
    Miyuki Koshimura
    Hiroshi Fujita
    Constraints, 2019, 24 : 133 - 161
  • [37] Predictive Model for Epistasis-based Basis Evaluation on Pseudo-Boolean Function Using Deep Neural Networks
    Kim, Yong-Hoon
    Lee, Junghwan
    Kim, Yong-Hyuk
    PROCEEDINGS OF THE 2019 GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE COMPANION (GECCCO'19 COMPANION), 2019, : 61 - 62
  • [38] Towards a Better Basis Search through a Surrogate Model-Based Epistasis Minimization for Pseudo-Boolean Optimization
    Kim, Yong-Hoon
    Yoon, Yourim
    Kim, Yong-Hyuk
    MATHEMATICS, 2020, 8 (08)
  • [39] Improving Deep Learning based Point Cloud Classification using Markov Random Fields with Quadratic Pseudo-Boolean Optimization
    Mei, Qipeng
    Qiu, Kevin
    Bulatov, Dimitri
    Iwaszczuk, Dorota
    19TH 3D GEOINFO CONFERENCE 2024, VOL. 10-4, 2024, : 229 - 236
  • [40] Pseudo Expected Improvement Based Optimization for CMOS Analog Circuit Design
    Drira, Nawel
    Kotti, Mouna
    Fakhfakh, Mourad
    Siarry, Patrick
    Tlelo-Cuautle, Esteban
    2019 16TH INTERNATIONAL CONFERENCE ON SYNTHESIS, MODELING, ANALYSIS AND SIMULATION METHODS AND APPLICATIONS TO CIRCUIT DESIGN (SMACD 2019), 2019, : 137 - 140
12345