Efficient Prime Factorization of Logic Expressions.

Patrick C. McGeer Robert K. Brayton

Published in: DAC (1989)

Keyphrases

logic programming
artificial intelligence
website
facial expressions
lightweight
computationally efficient
natural language
knowledge representation
computationally expensive
proof theory