Design and implementation of satisfiability solver of formulas about strings

被引：0
|
作者：
Umemura, Akihiro [1 ]
机构：
[1] NTT DATA Corp., Japan
来源：
Computer Software | 2010年 / 27卷 / 01期
关键词：
15;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：101 / 119
相关论文
共 50 条
  • [1] Parallel Multithreaded Satisfiability Solver: Design and Implementation
    Feldman, Yulik
    Dershowitz, Nachum
    Hanna, Ziyad
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 128 (03) : 75 - 90
  • [2] CSiSAT: A Satisfiability Solver for SMT Formulas with Continuous Probability Distributions
    Gao, Yang
    Fraenzle, Martin
    PROCEEDINGS OF THE 2016 WORKSHOP ON SYMBOLIC AND NUMERICAL METHODS FOR REACHABILITY ANALYSIS (SNR), 2016,
  • [3] Resource-saving FPGA Implementation of the Satisfiability Problem Solver: AmoebaSATslim
    Yan, Ying Jie
    Amano, Hideharu
    Aono, Masashi
    Ohkoda, Kaori
    Fukuda, Shingo
    Saito, Kenta
    Kasai, Seiya
    2021 INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE TECHNOLOGY (ICFPT), 2021, : 295 - 299
  • [4] A prototype implementation of a distributed Satisfiability Modulo Theories solver in the ToolBus framework
    UFRN/DIMAp, Campus Universitário, Lagoa Nova 59072-970 Natal, RN, Brazil
    不详
    不详
    J. Braz. Comput. Soc., 2008, 1 (71-86):
  • [5] Satisfiability of bright formulas
    Denisov A.S.
    Ukrainian Mathematical Journal, 2007, 59 (10) : 1606 - 1610
  • [6] The Design and Implementation of the Model Constructing Satisfiability Calculus
    Jovanovic, Dejan
    Barrett, Clark
    de Moura, Leonardo
    2013 FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD), 2013, : 173 - 180
  • [7] Variant Satisfiability of Parameterized Strings
    Meseguer, Jose
    REWRITING LOGIC AND ITS APPLICATIONS, WRLA 2020, 2020, 12328 : 96 - 113
  • [8] On the maximum satisfiability of random formulas
    Achlioptas, Dimitris
    Naor, Assaf
    Peres, Yuval
    JOURNAL OF THE ACM, 2007, 54 (02)
  • [9] Algorithms for Testing Satisfiability Formulas
    Marin Vlada
    Artificial Intelligence Review, 2001, 15 : 153 - 163
  • [10] Algorithms for testing satisfiability formulas
    Vlada, M
    ARTIFICIAL INTELLIGENCE REVIEW, 2001, 15 (03) : 153 - 163
12345