Abstract
Formulating a decades-old geometric conjecture as a satisfiability problem opened the door to its final resolution.
Index Terms
- A satisfying result
Recommendations
On γ-Vectors Satisfying the Kruskal–Katona Inequalities
We present examples of flag homology spheres whose γ-vectors satisfy the Kruskal–Katona inequalities. This includes several families of well-studied simplicial complexes, including Coxeter complexes and the simplicial complexes dual to the associahedron ...
On ź-Vectors Satisfying the Kruskal---Katona Inequalities
We present examples of flag homology spheres whose ź-vectors satisfy the Kruskal---Katona inequalities. This includes several families of well-studied simplicial complexes, including Coxeter complexes and the simplicial complexes dual to the ...
Prime clauses for fast enumeration of satisfying assignments to boolean circuits
DAC '05: Proceedings of the 42nd annual Design Automation ConferenceFinding all satisfying assignments of a propositional formula has many applications in the design of hardware and software. An approach to this problem augments a clause-recording propositional satisfiability solver with the ability to add blocking ...
Comments