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 条
  • [31] NoSQL Database Generation Using SAT Solver
    Ibrahim, Muhammad
    Sarwar, Nadeem
    2016 SIXTH INTERNATIONAL CONFERENCE ON INNOVATIVE COMPUTING TECHNOLOGY (INTECH), 2016, : 627 - 631
  • [32] Hardware controller using reconfigurable logic for a "ball and beam" mock-up
    Lopez Riquelme, Juan A.
    Al-Hadithi, Basil M.
    Suardiaz, Juan
    Iborra, Andres
    2008 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOLS 1-5, 2008, : 1400 - +
  • [33] Deeply Hardware-Entangled Reconfigurable Logic and Interconnect
    Erbagci, Burak
    Bhargavat, Mudit
    Dondero, Rachel
    Mai, Ken
    2015 INTERNATIONAL CONFERENCE ON RECONFIGURABLE COMPUTING AND FPGAS (RECONFIG), 2015,
  • [34] Hardware compiler realising concurrent processes in reconfigurable logic
    Diessel, O
    Milne, G
    IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 2001, 148 (4-5): : 152 - 162
  • [35] A SAT SOLVER PRIMER
    Gurevich, Yuri
    Mitchell, David G.
    BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2005, (85): : 112 - 132
  • [36] Technical Foundations of a DPLL-Based SAT Solver for Propositional Godel Logic
    Guller, Dusan
    IEEE TRANSACTIONS ON FUZZY SYSTEMS, 2018, 26 (01) : 84 - 100
  • [37] Accelerating an FPGA-Based SAT Solver by Software and Hardware Co-design
    MA Kefan
    XIAO Liquan
    ZHANG Jianmin
    LI Tiejun
    ChineseJournalofElectronics, 2019, 28 (05) : 953 - 961
  • [38] On the Glucose SAT Solver
    Audemard, Gilles
    Simon, Laurent
    INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, 2018, 27 (01)
  • [39] A survey of SAT Solver
    Gong, Weiwei
    Zhou, Xu
    APPLIED MATHEMATICS AND COMPUTER SCIENCE, 2017, 1836
  • [40] Hardware SAT Solver-based Area-efficient Accelerator for Autonomous Driving
    Inuma, Yusuke
    Hara-Azumi, Yuko
    2022 21ST INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE TECHNOLOGY (ICFPT 2022), 2022, : 286 - 289
12345