Boolean Rings for Intersection-Based Satisfiability (Q5387914)
From MaRDI portal
scientific article; zbMATH DE number 5279594
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Boolean Rings for Intersection-Based Satisfiability |
scientific article; zbMATH DE number 5279594 |
Statements
Boolean Rings for Intersection-Based Satisfiability (English)
0 references
27 May 2008
0 references
