Simulating Strong Practical Proof Systems with Extended Resolution.

Benjamin Kiesl Adrián Rebola-Pardo Marijn J. H. Heule Armin Biere

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

Keyphrases

computer vision
expert systems
real time
neural network
genetic algorithm
artificial intelligence
search engine
multimedia
multiscale
intelligent systems
learning systems
theorem proving
systems require