×

Found 8 Documents (Results 1–8)

Decomposing SAT instances with pseudo backbones. (English) Zbl 1453.68170

Hu, Bin (ed.) et al., Evolutionary computation in combinatorial optimization. 17th European conference, EvoCOP 2017, Amsterdam, The Netherlands, April 19–21, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10197, 75-90 (2017).
MSC:  68T20 68R07 90C59
PDFBibTeX XMLCite
Full Text: DOI

The normalized autocorrelation length of random Max \(r\)-Sat converges in probability to \((1-1/2^r)/r\). (English) Zbl 1478.68200

Creignou, Nadia (ed.) et al., Theory and applications of satisfiability testing – SAT 2016. 19th international conference, Bordeaux, France, July 5–8, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9710, 60-76 (2016).
MSC:  68R07 60F05 68T20
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software