Frege Systems for Quantified Boolean Logic.

Olaf Beyersdorff Ilario Bonacina Leroy Chew Ján Pich

Published in: J. ACM (2020)

Keyphrases

boolean logic
machine learning
complex systems
intelligent systems
neural network
probabilistic model
random walk
data mining algorithms