Separability in Büchi VASS and Singly Non-Linear Systems of Inequalities.

Pascal Baumann Eren Keskin Roland Meyer Georg Zetzsche

Published in: ICALP (2024)

Keyphrases

building blocks
distributed systems
multiscale
complex systems
retrieval systems
information systems
feature selection
metadata
web services
expert systems
np hard
management system
sufficient conditions
learning systems
mixed integer