Superredundancy: A tool for Boolean formula minimization complexity analysis.

Paolo Liberatore

Published in: CoRR (2022)

Keyphrases

complexity analysis
lower bound
theoretical analysis
boolean formula
computational complexity
objective function
data structure
first order logic
artificial intelligence
reinforcement learning
sat problem
conjunctive normal form