Range Allocation for Equivalence Logic.

Amir Pnueli Yoav Rodeh Ofer Strichman

Published in: FSTTCS (2001)

Keyphrases

wide range
range data
multi valued
predicate logic
neural network
optimal allocation
genetic algorithm
artificial intelligence
description logics
logic programming
resource allocation
digital circuits
asynchronous circuits
sound and complete axiomatization