Solving satisfiability and implication problems in database systems

被引：0
|
作者：
Florida Int Univ, Miami, United States [1 ]
机构：
来源：
ACM Trans Database Syst | / 2卷 / 270-293期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [41] OEA_SAT: An Organizational Evolutionary Algorithm for Solving Satisfiability Problems
    Liu, Jing
    Jiang, Wenrong
    Zhong, Weicai
    Jiao, Licheng
    2009 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-5, 2009, : 765 - +
  • [42] Solving satisfiability problems using elliptic approximations - effective branching rules
    Warners, JP
    van Maaren, H
    DISCRETE APPLIED MATHEMATICS, 2000, 107 (1-3) : 241 - 259
  • [43] Solving satisfiability problems by fluctuations: The dynamics of stochastic local search algorithms
    Barthel, W
    Hartmann, AK
    Weigt, M
    PHYSICAL REVIEW E, 2003, 67 (06):
  • [44] Reduction of factorization, discreet logarithm and elliptic curve logarithm problems to solving associated satisfiability problems
    Dulkeyt, Vladimir Igorevitch
    Computer Optics, 2010, 34 (01) : 118 - 123
  • [45] Solving satisfiability problems using a novel microarray-based DNA computer
    Lin, Che-Hsin
    Cheng, Hsiao-Ping
    Yang, Chang-Biau
    Yang, Chia-Ning
    BIOSYSTEMS, 2007, 90 (01) : 242 - 252
  • [46] Research on Abstraction-Based Search Space Partitioning and Solving Satisfiability Problems
    Huang, Yuexin
    Niu, Qinzhou
    Song, Yanfang
    MATHEMATICS, 2025, 13 (05)
  • [47] HPC-based parallel software for solving applied Boolean satisfiability problems
    Bogdanova, V. G.
    Gorsky, S. A.
    Pashinin, A. A.
    2020 43RD INTERNATIONAL CONVENTION ON INFORMATION, COMMUNICATION AND ELECTRONIC TECHNOLOGY (MIPRO 2020), 2020, : 1006 - 1011
  • [48] Penalty Formulations and Trap-Avoidance Strategies for Solving Hard Satisfiability Problems
    Benjamin W. Wah
    Zhe Wu
    Journal of Computer Science and Technology, 2005, 20 : 3 - 17
  • [49] Solving Satisfiability Problems Using Elliptic Approximations. A Note on Volumes and Weights
    Hans van Maaren
    Joost P. Warners
    Annals of Mathematics and Artificial Intelligence, 2003, 37 : 273 - 283
  • [50] Detecting Data Store Access Conflict in Simulink by Solving Boolean Satisfiability Problems
    Han, Zhi
    Mosterman, Pieter J.
    2010 AMERICAN CONTROL CONFERENCE, 2010, : 5702 - 5707
12345