Secure Outsourcing of Boolean Formulas Truth Assignment Problem.

Published in: DSC (2023)

Keyphrases

boolean formula
sat solvers
unsatisfiable cores
np complete
practical problems
conjunctive normal form
linear constraints
np hard
membership queries
hidden structure
boolean variables
reinforcement learning
max sat
truth values