Irreducible disjoint covering systems (with an application to Boolean algebra)

DOI10.1016/0166-218X(90)90140-8zbMath0729.11006MaRDI QIDQ805651

Marc A. Berger, Aviezri S. Fraenkel, Alexander Felzenbaum

Publication date: 1990

Published in: Discrete Applied Mathematics (Search for Journal in Brave)

zbMATH Keywords

Boolean algebraarithmetic progressiontautologiesalgebra of cosetsdisjoint covering systems of cosetslattice geometry approachlattice parallelotopenumber of clauses

Mathematics Subject Classification ID

Congruences; primitive roots; residue systems (11A07) Discrete geometry (52C99) Arithmetic progressions (11B25) Logical aspects of Boolean algebras (03G05)

Related Items (1)

Irreducible subcube partitions

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Deciding hypergraph 2-colourability by H-resolution
• A non-analytic proof of the Newman-Znám result for disjoint covering systems
• Minimal non-two-colorable hypergraphs and minimal unsatisfiable formulas
• Improvement of Mycielski's inequality for non-natural disjoint covering systems of \({\mathbb{Z}}\)
• Covers of product sets and the Korec-Znám result
• Irreducible disjoint covering systems
• New results for covering systems of residue sets
• Remark on the multiplicity of a partition of a group into cosets
• Mycielski-Sierpiński conjecture and Korec-Znám result
• Natural exactly covering systems of congruences
• On a generalization of Mycielski's and Znám's conjectures about coset decomposition of Abelian groups

This page was built for publication: Irreducible disjoint covering systems (with an application to Boolean algebra)