Automatic Structures.

Achim Blumensath Erich Grädel

Published in: LICS (2000)

Keyphrases

fully automatic
structural analysis
artificial intelligence
social networks
search algorithm
semi automatic
labor intensive