Heuristics for Million-scale Two-level Logic Minimization.

Mahdi Nazemi Hitarth Kanakia Massoud Pedram

Published in: ICCAD (2021)

Keyphrases

heuristic search
search algorithm
scale space
classical logic
objective function
logic programming
automated reasoning
modal logic
multi valued
defeasible logic
predicate logic
sound and complete axiomatization
data sets
decision trees
computational properties
proof theory