A Resolution-Based Interactive Proof System for UNSAT.

Philipp Czerner Javier Esparza Valentin Krasotin

Published in: CoRR (2024)

Keyphrases

clause learning
sat solvers
high resolution
low resolution
user interaction
user friendly
databases
graphical interface
interactive video
database
temporal resolution
search strategies
virtual reality
super resolution
optimal solution
case study
neural network
data sets