An efficient heuristic to identify threshold logic functions.

Ashok Kumar Palaniswamy Spyros Tragoudas

Published in: ACM J. Emerg. Technol. Comput. Syst. (2012)

Keyphrases

multi valued
logic programming
search algorithm
dynamic programming
optimal solution
simulated annealing
modal logic
automated reasoning
learning algorithm
case study
search space
mixed integer programming
classical logic
heuristic solution