Strong Extension-Free Proof Systems.

Marijn J. H. Heule Benjamin Kiesl Armin Biere

Published in: J. Autom. Reason. (2020)

Keyphrases

complex systems
neural network
web pages
data sets
management system
computer vision
similarity measure
optimal solution
evolutionary algorithm
probabilistic model