Verified QBF Solving.

Axel Bergström Tjark Weber

Published in: Arch. Formal Proofs (2024)

Keyphrases

combinatorial optimization
boolean formula
artificial intelligence
quantified boolean formulas
database
data sets
neural network
information systems
reinforcement learning