Decidability of membership problems for flat rational subsets of GL(2, Q) and singular matrices.

Volker Diekert Igor Potapov Pavel Semukhin

Published in: CoRR (2019)

Keyphrases

information systems
problems involving
database systems
objective function
optimization problems
linear programming
benchmark problems