Semilinear Program Feasibility.

Manuel Bodirsky Peter Jonsson Timo von Oertzen

Published in: ICALP (2) (2009)

Keyphrases

digital libraries
computer programs
databases
search algorithm
machine learning
artificial intelligence
social networks
computer vision
evolutionary algorithm
test cases
programming environment