A novel SAT solver for the Van der Waerden numbers

被引：0
|
作者：
Munira A. Abd El-Maksoud
Areeg Abdalla
机构：
[1] Department of Mathematics,
[2] Faculty of Science,undefined
来源：
Journal of the Egyptian Mathematical Society | / 27卷 / 1期
关键词：
Satisfiability; Van der Waerden numbers; DPLL; SAT solvers; MINISAT;
D O I：
10.1186/s42787-019-0021-1
中图分类号：
学科分类号：
摘要：
This paper introduces a new efficient satisfiability problem (SAT) solver, negative-literal Van der Waerden numbers SAT solver (NegVanSAT). It is a modification of the
引用
收藏
相关论文
共 50 条
  • [11] Lower bounds for multicolor van der Waerden numbers
    Hunter, Zach
    ISRAEL JOURNAL OF MATHEMATICS, 2025,
  • [12] Improved Lower Bounds for Van Der Waerden Numbers
    Zach Hunter
    Combinatorica, 2022, 42 : 1231 - 1252
  • [13] A new lower bound for van der Waerden numbers
    Blankenship, Thomas
    Cummings, Jay
    Taranchuk, Vladislav
    EUROPEAN JOURNAL OF COMBINATORICS, 2018, 69 : 163 - 168
  • [14] On the van der Waerden numbers w(2; 3, t)
    Ahmed, Tanbir
    Kullmann, Oliver
    Snevily, Hunter
    DISCRETE APPLIED MATHEMATICS, 2014, 174 : 27 - 51
  • [15] A Set-Coloring Generalization of van der Waerden Numbers
    Xiu, Baoxin
    Li, Guangming
    Liang, Meilian
    Xu, Xiaodong
    JOURNAL OF COMPUTATIONAL AND THEORETICAL NANOSCIENCE, 2014, 11 (12) : 2431 - 2436
  • [16] SOME RESULTS ON A CLASS OF MIXED VAN DER WAERDEN NUMBERS
    Maran, Kaushik
    Reddy, Sai Praneeth
    Sharma, Dravyansh
    Tripathi, Amitabha
    ROCKY MOUNTAIN JOURNAL OF MATHEMATICS, 2018, 48 (03) : 885 - 904
  • [17] RAMSEY FUNCTIONS RELATED TO THE VAN-DER-WAERDEN NUMBERS
    LANDMAN, BM
    DISCRETE MATHEMATICS, 1992, 102 (03) : 265 - 278
  • [18] Anti-van der Waerden numbers of graph products
    Rehm, Hunter
    Schulte, Alex
    Warnberg, Nathan
    AUSTRALASIAN JOURNAL OF COMBINATORICS, 2019, 73 : 486 - 500
  • [19] Van der Waerden spaces
    Kojman, M
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 2002, 130 (03) : 631 - 635
  • [20] The 2-color relative linear Van der Waerden numbers
    Kim, Byeong Moon
    Rho, Yoomi
    COMPTES RENDUS MATHEMATIQUE, 2007, 345 (04) : 183 - 186
12345