The number of 2-SAT functions
type: Item
instance of: scholarly article
title: The number of 2-SAT functions
zbMATH Open document ID: 1024.68044
DOI: 10.1007/BF02773060
author: Béla Bollobás
author: Graham Brightwell
author: Imre Leader
published in: Israel Journal of Mathematics
publication date: 2003-11-20T00:00:00Z
Mathematics Subject Classification ID: 68Q25
Mathematics Subject Classification ID: 05C15
Mathematics Subject Classification ID: 05C30
Mathematics Subject Classification ID: 06E30
zbMATH DE Number: 1910262
zbMATH Keywords: 2-SAT formulae
zbMATH Keywords: 2-SAT functions
MaRDI profile type: Publication
cites work: A linear-time algorithm for testing the truth of certain quantified Boolean formulas
cites work: Q4398864
cites work: The scaling window of the 2-SAT transition
cites work: The number of k‐SAT functions
cites work: Projections of Bodies and Hereditary Properties of Hypergraphs
cites work: Q5688999
cites work: The average number of linear extensions of a partial order
cites work: Some intersection theorems for ordered sets and graphs
cites work: Q4371411
cites work: Q4133658
cites work: The maximum number of edges in a minimal graph of diameter 2
cites work: Q4519896
cites work: Asymptotic Enumeration of Partial Orders on a Finite Set
cites work: Q4298260
cites work: Almost all Berge Graphs are Perfect
full work available at URL: https://doi.org/10.1007/bf02773060
OpenAlex ID: W2072137480
description: scientific article; zbMATH DE number 1910262