Monoids of Upper Triangular Matrices over the Boolean Semiring.
Andrew RyzhikovPetra WolfPublished in: MFCS (2024)
Keyphrases
- boolean functions
- real valued
- singular value decomposition
- decision diagrams
- relational algebra
- max sat
- positive definite
- sparse matrix
- linear complementarity problem
- singular values
- kronecker product
- boolean logic
- matrix multiplication
- pairwise comparison
- boolean queries
- database systems
- multi valued
- missing data
- query language