A SAT solver using advanced reasoning

被引：0
|
作者：
Ding, M [1 ]
Tang, P [1 ]
机构：
[1] Fudan Univ, Microelect Dept, ASIC, Shanghai 200433, Peoples R China
来源：
2003 5TH INTERNATIONAL CONFERENCE ON ASIC, VOLS 1 AND 2, PROCEEDINGS | 2003年
关键词：
D O I：
10.1109/ICASIC.2003.1277519
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper presents a SAT solver. The main purpose is to study the tradeoff between more reasoning and quicker decision. It shows that though good result can be obtained by quick decision and fast implementation. the reasoning step is still useful in several benchmarks. We choose FLD as our reasoning technique and discuss heuristic of obtaining the set of literals to be tested in FLD. Experiment results show that by careful implementation. this old technique still can be used in a fast SAT solver.
引用
收藏
页码：183 / 186
页数：4
相关论文
共 50 条
  • [1] Integrating advanced reasoning into a SAT solver
    Ding, M
    Tang, PS
    Zhou, D
    SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2005, 48 (03): : 366 - 378
  • [2] Integrating advanced reasoning into a SAT solver
    DING Min
    ScienceinChina(SeriesF:InformationSciences), 2005, (03) : 366 - 378
  • [3] Integrating advanced reasoning into a SAT solver
    Min Ding
    Pushan Tang
    Dian Zhou
    Science in China Series F: Information Sciences, 2005, 48 : 366 - 378
  • [4] SAT Solver Based on Advanced Forward Reasoning
    Wang, Xiaowei
    Chen, Geheng
    2009 ASIA PACIFIC CONFERENCE ON POSTGRADUATE RESEARCH IN MICROELECTRONICS AND ELECTRONICS (PRIMEASIA 2009), 2009, : 412 - 415
  • [5] A Software System Using a SAT Solver for Reasoning Under Complete, Stable, Preferred, and Grounded Argumentation Semantics
    Beierle, Christoph
    Brons, Florian
    Potyka, Nico
    KI 2015: ADVANCES IN ARTIFICIAL INTELLIGENCE, 2015, 9324 : 241 - 248
  • [6] Using a SAT Solver to Generate Checking Sequences
    Jourdan, Guy-Vincent
    Ural, Hasan
    Yeniguen, Huesnue
    Zhu, Dong
    2009 24TH INTERNATIONAL SYMPOSIUM ON COMPUTER AND INFORMATION SCIENCES, 2009, : 547 - +
  • [7] Implementing an action language using a SAT solver
    Nabeshima, H
    Inoue, K
    Haneda, H
    12TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2000, : 96 - 103
  • [8] NoSQL Database Generation Using SAT Solver
    Ibrahim, Muhammad
    Sarwar, Nadeem
    2016 SIXTH INTERNATIONAL CONFERENCE ON INNOVATIVE COMPUTING TECHNOLOGY (INTECH), 2016, : 627 - 631
  • [9] 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
  • [10] A SAT SOLVER PRIMER
    Gurevich, Yuri
    Mitchell, David G.
    BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2005, (85): : 112 - 132
12345