EuDML | Browse

Page 1

Displaying 1 – 7 of 7

Smooth and sharp thresholds for random $k$ -XOR-CNF satisfiability

Nadia Creignou, Hervé Daudé (2003)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

The aim of this paper is to study the threshold behavior for the satisfiability property of a random $k$ -XOR-CNF formula or equivalently for the consistency of a random Boolean linear system with $k$ variables per equation. For $k \geq 3$ we show the existence of a sharp threshold for the satisfiability of a random $k$ -XOR-CNF formula, whereas there are smooth thresholds for $k = 1$ and $k = 2$ .

Solving algebraic problems in propositional logic by tableau.

R.H. Cowen (1982)

Archiv für mathematische Logik und Grundlagenforschung

Some Remarks on Reproductive Solutions

Dragić Banković (1985)

Publications de l'Institut Mathématique

Speed-up for propositional Frege systems via generalizations of proofs

Jan Krajíček (1989)

Commentationes Mathematicae Universitatis Carolinae

Sur le premier système de Lukasiewicz

Albert Sade (1969)

Archivum Mathematicum

Sur les éléments de construction de la logique mathématique

M. Schönfinkel (1990)

Mathématiques et Sciences Humaines

Il s'agit de présenter l'article de Schönfinkel «Über die Bausteine der mathematischen Logik», préparé pour la publication (1924) par H. Behmann, d'après une conférence de Schönfinkel en 1920, qui fonde ce que Curry nommera «la logique combinatoire». L'objectif principal du travail de Schönfinkel est l'élimination générale des variables (propositionnelles, prédicatives, individuelles), grâce à l'usage de plusieurs «fonctions particulières». On trouvera ici : (1) une introduction à l'article de Schönfinkel,...

Sur quelques théorèmes fondamentaux de l'algèbre moderne

Gram (1874)

Mathematische Annalen