Scalable Logic Rewriting Using Don't Cares.

Alessandro Tempia Calvino Giovanni De Micheli

Published in: DATE (2024)

Keyphrases

classical logic
logic programming
modal logic
computational properties
query rewriting
sound and complete axiomatization
predicate logic
digital circuits
defeasible logic
highly scalable
probability theory
web scale
logical framework
genetic algorithm
neural network
data sets
rewriting rules
database