The Covering and Boundedness Problems for Branching Vector Addition Systems.

Stéphane Demri Marcin Jurdzinski Oded Lachish Ranko Lazic

Published in: FSTTCS (2009)

Keyphrases

artificial intelligence
vector space
intelligent systems
retrieval systems
np complete
sufficient conditions
optimization problems
problems involving
data sets
benchmark problems
upper bound
artificial neural networks
digital libraries
search algorithm
face recognition
web services
decision making