New Lower Bounds for Reachability in Vector Addition Systems.

Wojciech Czerwinski Ismaël Jecker Slawomir Lasota Jérôme Leroux Lukasz Orlikowski

Published in: CoRR (2023)

Keyphrases

lower bound
objective function
np hard
branch and bound algorithm
neural network
machine learning
case study
multi agent systems
management system
upper bound
knowledge based systems
learning systems
branch and bound