SAT-Based Generation of Optimum Circuits with Polymorphic Behavior Support.

Petr Fiser Ivo Hálecek Jan Schmidt Václav Simek

Published in: J. Circuits Syst. Comput. (2019)

Keyphrases

knowledge management
answer set programming
neural network
search space
high speed
logic programming
ai planning