The (D)QBF Preprocessor HQSpre - Underlying Theory and Its Implementation.

Ralf Wimmer Christoph Scholl Bernd Becker

Published in: J. Satisf. Boolean Model. Comput. (2019)

Keyphrases

theoretical framework
databases
efficient implementation
implementation details
theoretical foundation
implementation issues
real time
neural network
artificial intelligence
information systems
website
computational model
general theory