Translating relay ladder logic for CCM solving.

Published in: IEEE Trans. Robotics Autom. (1997)

Keyphrases

data sets
information retrieval
evolutionary algorithm
logic programming
modal logic
logical framework
predicate logic
databases
website
optimal solution
lower bound
multi valued
series parallel
asynchronous circuits