Polarised random k-SAT

Danielsson, JL; Markstrom, K

Danielsson, JL (通讯作者),Lund Univ, Lund, Sweden.

COMBINATORICS PROBABILITY & COMPUTING, 2023; 32 (6): 885

Abstract

In this paper we study a variation of the random k-SAT problem, called polarised random k-SAT, which contains both the classical random k-SAT model an......

Full Text Link