Skolem Functions for DQBF.

Karina Wimmer Ralf Wimmer Christoph Scholl Bernd Becker

Published in: ATVA (2016)

Keyphrases

first order logic
real world
continuous functions
basis functions
artificial intelligence
real time
multi agent
multi agent systems
high quality
probability distribution
evolutionary algorithm
pattern recognition
database systems
information systems
social networks
genetic algorithm
neural network