Glue-logic partitioning for floorplans with a rectilinear datapath.

Allen C.-H. Wu Daniel D. Gajski

Published in: EURO-DAC (1991)

Keyphrases

modal logic
logic programming
software package
automated reasoning
proof theory
partitioning algorithm
truth values
set theory
logical framework
partitioning schemes
epistemic logic
predicate logic
computational properties
computer vision
probabilistic logic
graph partitioning
image segmentation