Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Munira A. Abd El-Maksoud"'
Publikováno v:
Journal of the Egyptian Mathematical Society, Vol 27, Iss 1, Pp 1-10 (2019)
Abstract 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 well-known SAT solver MINISAT where the constructor of the literals has b
Externí odkaz:
https://doaj.org/article/8a52a09c859146b3808ad0f5e1431cd2
