SAT-based complete logic implication with application to logic optimization.

Yung-Chih Chen Kung-Ming Ji

Published in: VLSI-DAT (2014)

Keyphrases

modal logic
logic programming
computational properties
optimization problems
multi valued
bounded model checking
optimization algorithm
global optimization
automated reasoning
simulated annealing
combinatorial optimization
answer set programming
horn clauses
logical framework
predicate logic
proof theory