SAT solver using reconfigurable hardware and virtual logic

被引：0
|
作者：
机构：
[1] Abramovici, Miron
[2] De Sousa, Jose T.
来源：
Abramovici, Miron | 2000年 / Kluwer Academic Publishers, Dordrecht, Netherlands卷 / 24期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：1 / 2
相关论文
共 50 条
  • [1] A SAT solver using reconfigurable hardware and virtual logic
    Abramovici, M
    De Sousa, JT
    JOURNAL OF AUTOMATED REASONING, 2000, 24 (1-2) : 5 - 36
  • [2] A SAT Solver Using Reconfigurable Hardware and Virtual Logic
    Miron Abramovici
    Jose T. De Sousa
    Journal of Automated Reasoning, 2000, 24 : 5 - 36
  • [3] A SAT solver using software and reconfigurable hardware
    Skliarova, L
    Ferrari, AB
    DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, 2002 PROCEEDINGS, 2002, : 1094 - 1094
  • [4] A software/reconfigurable hardware SAT solver
    Skliarova, I
    Ferrari, AB
    IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, 2004, 12 (04) : 408 - 419
  • [5] An Effective Probability Distribution SAT Solver on Reconfigurable Hardware
    Sohanghpurwala, Ali Asgar
    Athanas, Peter
    2016 INTERNATIONAL CONFERENCE ON RECONFIGURABLE COMPUTING AND FPGAS (RECONFIG16), 2016,
  • [6] SMPP: Generic SAT Solver over Reconfigurable Hardware Accelerator
    Yuan, Zhongda
    Ma, Yuchun
    Bian, Jinian
    2012 IEEE 26TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS & PHD FORUM (IPDPSW), 2012, : 443 - 448
  • [7] A virtual hardware system on a dynamically reconfigurable logic device
    Shibata, Y
    Uno, M
    Amano, H
    Furuta, K
    Fujii, T
    Motomura, M
    2000 IEEE SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES, PROCEEDINGS, 2000, : 295 - 296
  • [8] MajorSat: A SAT Solver to Majority Logic
    Chou, Yu-Min
    Chen, Yung-Chih
    Wang, Chun-Yao
    Huang, Ching-Yi
    2016 21ST ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE (ASP-DAC), 2016, : 480 - 485
  • [9] Reconfigurable hardware SAT solvers: A survey of systems
    Skliarova, I
    Ferrari, AD
    IEEE TRANSACTIONS ON COMPUTERS, 2004, 53 (11) : 1449 - 1461
  • [10] Reconfigurable hardware SAT solvers: A survey of systems
    Skliarova, I
    Ferrari, AB
    FIELD-PROGRAMMABLE LOGIC AND APPLICATIONS, PROCEEDINGS, 2003, 2778 : 468 - 477
12345