The Relative Strength of #SAT Proof Systems.

Olaf Beyersdorff Johannes Klaus Fichte Markus Hecher Tim Hoffmann Kaspar Kasche

Published in: SAT (2024)

Keyphrases

data mining
machine learning
information retrieval
management system
distributed systems
neural network
learning algorithm
digital libraries
knowledge based systems
building blocks
learning systems
search strategies