Superredundancy: A tool for Boolean formula minimization complexity analysis.

Paolo Liberatore

Published in: Electron. Colloquium Comput. Complex. (2022)

Keyphrases

complexity analysis
theoretical analysis
lower bound
computational complexity
boolean formula
artificial intelligence
machine learning
knowledge base
objective function
finite number