Decidability of the Membership Problem for 2 × 2 integer matrices.
Igor PotapovPavel SemukhinPublished in: SODA (2017)
Keyphrases
- description logics
- totally unimodular
- query answering
- singular value decomposition
- decision procedures
- databases
- least squares
- convex hull
- floating point
- projection matrices
- sparse matrix
- projection matrix
- neural network
- minimum cost flow
- coefficient matrix
- matrix completion
- type checking
- matrix representation
- linear complementarity problem
- pairwise comparison
- knowledge base
- database systems
- original data
- expert systems