iDQ: Instantiation-Based DQBF Solving.

Andreas Fröhlich Gergely Kovásznai Armin Biere Helmut Veith

Published in: POS@SAT (2014)

Keyphrases

real time
data sets
decision making
solving problems
quadratic programming
nonlinear equations
neural network
machine learning
artificial intelligence
social networks
website
clustering algorithm
cost function