On orthogonal symmetric chain decompositions
From MaRDI portal
Publication:6621189
Sven Jäger, Karl Däubel, Torsten Mütze, Manfred Scheucher
Publication date: 18 October 2024
Published in: Acta Mathematica Universitatis Comenianae. New Series (Search for Journal in Brave)
Cites Work
- Theory and Applications of Satisfiability Testing
- A decomposition theorem for partially ordered sets
- On a lemma of Littlewood and Offord on the distribution of certain sums
- On a lemma of Littlewood and Offord on the distributions of linear combinations of vectors
- Improving Glucose for Incremental SAT Solving with Assumptions: Application to MUS Extraction
- Strong versions of Sperner's theorem
- A new method to construct lower bounds for van der Waerden numbers
- Lexicographic matching in Boolean algebras
- Satisfiability and computing van der Waerden numbers
- The van der Waerden NumberW(2, 6) Is 1132
- On the Number of Real Roots of a Random Algebraic Equation
- Title not available (Why is that?)
- Some quotients of chain products are symmetric chain orders
- Computing Binary Combinatorial Gray Codes Via Exhaustive Search With SAT Solvers
- Venn diagrams and symmetric chain decompositions in the Boolean lattice
- Problems on chain partitions
- On a conjecture of Füredi.
- A SAT Attack on the Erdős Discrepancy Conjecture
- Recursive matching algorithms and linear orders on the subset lattice
- Proof of the middle levels conjecture
- The necklace poset is a symmetric chain order
- A SAT attack on the Erdős-Szekeres conjecture
- Probabilities of Independent Choices Being Ordered
- Partitioning the Boolean lattice into copies of a poset
- Title not available (Why is that?)
- Ein Satz über Untermengen einer endlichen Menge.
- On edge decompositions of posets
- A short proof of the middle levels theorem
- Choice mappings of certain classes of finite sets
This page was built for publication: On orthogonal symmetric chain decompositions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6621189)
