A Resolution-Based Interactive Proof System for UNSAT.

Philipp Czerner Javier Esparza Valentin Krasotin

Published in: FoSSaCS (2) (2024)

Keyphrases

clause learning
sat solvers
computer graphics
modal logic
high resolution
low resolution
conflict detection
highly interactive
machine learning
virtual environment
decision trees
interactive learning
higher resolution
neural network
databases
consequence finding
database