Centre for Discrete and Applicable Mathematics
	CDAM Research Report, LSE-CDAM-2001-11 December 2001

Abstract

We study the number SAT(k;n) of Boolean functions of n variables that can be expressed by a k-SAT formula. Equivalently, we study the number of subsets of the n-cube 2ⁿ that can be represented as the union of (n-k)-subcubes. In The number of 2-SAT functions, LSE-CDAM-2000-08, the authors and Imre Leader studied SAT(k;n) for k  n/2, with emphasis on the case k=2. Here, we prove bounds on SAT(k;n) for k  n/2; we see a variety of different types of behaviour.

A PDF file (248 kB) with the full contents of this report can be downloaded by clicking here.

Alternatively, if you would like to get a free hard copy of this report, please send the number of this report, LSE-CDAM-2001-11, together with your name and postal address to:

		CDAM Research Reports Series Centre for Discrete and Applicable Mathematics London School of Economics Houghton Street London WC2A 2AE, U.K.
		Phone: +44(0)-20-7955 7732. Fax: +44(0)-20-7955 6877. Email: info@maths.lse.ac.uk

		Introduction to the CDAM Research Report Series.
		CDAM Homepage.

Last changed: Wed 9 Feb 2005
For comments go to: http://www.maths.lse.ac.uk/webmaster.html