Some Properties of Pigeon-Hole Formulas (Q2917147)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Some Properties of Pigeon-Hole Formulas |
scientific article |
Statements
Some Properties of Pigeon-Hole Formulas (English)
0 references
5 October 2012
0 references
pigeon-hole formula
0 references
minimal unsatisfiability
0 references
maximal satisfiable assignment
0 references
normal form
0 references
substructure isomorphism
0 references