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 条
  • [21] An Adaptive Parallel SAT Solver
    Audemard, Gilles
    Lagniez, Jean-Marie
    Szczepanski, Nicolas
    Tabary, Sebastien
    PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2016, 2016, 9892 : 30 - 48
  • [22] Optimizing a Verified SAT Solver
    Fleury, Mathias
    NASA FORMAL METHODS (NFM 2019), 2019, 11460 : 148 - 165
  • [23] The International SAT Solver Competitions
    Jarvisalo, Matti
    Le Berre, Daniel
    Roussel, Olivier
    Simon, Laurent
    AI MAGAZINE, 2012, 33 (01) : 89 - 94
  • [24] An extensible SAT-solver
    Eén, N
    Sörensson, N
    THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, 2004, 2919 : 502 - 518
  • [25] Connecting ABT with a SAT Solver
    Giraldez-Cru, Jesus
    Martin-Sanchez, Guillermo
    Meseguer, Pedro
    PROCEEDINGS OF THE EIGHTH EUROPEAN STARTING AI RESEARCHER SYMPOSIUM (STAIRS 2016), 2016, 284 : 179 - 184
  • [26] NeuroGIFT: Using a Machine Learning Based Sat Solver for Cryptanalysis
    Sun, Ling
    Gerault, David
    Benamira, Adrien
    Peyrin, Thomas
    CYBER SECURITY CRYPTOGRAPHY AND MACHINE LEARNING (CSCML 2020), 2020, 12161 : 62 - 84
  • [27] Checking safety properties using induction and a SAT-solver
    Sheeran, M
    Singh, S
    Stålmarck, G
    FORMAL METHODS IN COMPUTER-AIDED DESIGN, PROCEEDINGS, 2000, 1954 : 108 - 125
  • [28] Parameter Setting in SAT Solver using Machine Learning Techniques
    Beskyd, Filip
    Surynek, Pavel
    ICAART: PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE - VOL 2, 2022, : 586 - 597
  • [29] Using a SAT Solver to Find Interesting Sets of Nonstandard Dice
    Purcell, Michael
    AMERICAN MATHEMATICAL MONTHLY, 2023, 130 (05): : 421 - 436
  • [30] Automated verification of access control policies using a SAT solver
    Graham Hughes
    Tevfik Bultan
    International Journal on Software Tools for Technology Transfer, 2008, 10 (6) : 503 - 520
12345