Functional composition: A new paradigm for performing logic synthesis.

Mayler G. A. Martins Renato P. Ribas André Inácio Reis

Published in: ISQED (2012)

Keyphrases

logic synthesis
multi valued
heuristic search
inductive learning
quantum computing
functional properties
logic programs
database
databases
knowledge base
search algorithm
logic programming