DISTANCE-SAT: complexity and algorithms

被引：0
|
作者：
CRIL/Universite d'Artois, Lens, France [1 ]
机构：
来源：
Proc Natl Conf Artif Intell | / 642-647期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] The Computational Complexity of some Algorithms for the Rank Bounded Distance on Cyclic Codes
    Zheng, Junru
    Kaida, Takayasu
    2015 SEVENTH INTERNATIONAL WORKSHOP ON SIGNAL DESIGN AND ITS APPLICATIONS IN COMMUNICATIONS (IWSDA), 2015, : 38 - 41
  • [22] Approximation algorithms for MAX SAT
    Hirata, T
    Ono, T
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2000, E83D (03): : 488 - 495
  • [23] On the possibility of faster SAT algorithms
    Patrascu, Mihai
    Williams, Ryan
    PROCEEDINGS OF THE TWENTY-FIRST ANNUAL ACM-SIAM SYMPOSIUM ON DISCRETE ALGORITHMS, 2010, 135 : 1065 - +
  • [24] Heuristic backtracking algorithms for SAT
    Bhalla, A
    Lynce, I
    de Sousa, JT
    Marques-Silva, J
    4TH INTERNATIONAL WORKSHOP ON MICROPROCESSOR TEST AND VERIFICATION: COMMON CHALLENGES AND SOLUTIONS, PROCEEDINGS, 2003, : 69 - 74
  • [25] Approximation algorithms for MAX SAT
    Hirata, Tomio
    Ono, Takao
    IEICE Transactions on Information and Systems, 2000, E83-D (03) : 488 - 495
  • [26] DNA and membrane algorithms for SAT
    Manca, V
    FUNDAMENTA INFORMATICAE, 2002, 49 (1-3) : 205 - 221
  • [27] Should Algorithms for Random SAT and Max-SAT Be Different?
    Liu, Sixue
    de Melo, Gerard
    THIRTY-FIRST AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2017, : 3915 - 3921
  • [28] On the parameterized complexity of (k, s)-SAT
    Paulusma, Daniel
    Szeider, Stefan
    INFORMATION PROCESSING LETTERS, 2019, 143 : 34 - 36
  • [29] Distance constrained vehicle routing problem to minimize the total cost: algorithms and complexity
    Wei Yu
    Zhaohui Liu
    Xiaoguang Bao
    Journal of Combinatorial Optimization, 2022, 43 : 1405 - 1422
  • [30] Distance constrained vehicle routing problem to minimize the total cost: algorithms and complexity
    Yu, Wei
    Liu, Zhaohui
    Bao, Xiaoguang
    JOURNAL OF COMBINATORIAL OPTIMIZATION, 2022, 43 (05) : 1405 - 1422
12345