Login / Signup

Automatic Generation of Linear-Time Algorithms from Predicate Calculus Descriptions of Problems on Recursively Constructed Graph Families.

Richard B. BorieR. Gary ParkerCraig A. Tovey
Published in: Algorithmica (1992)
Keyphrases
  • optimization problems
  • graph theory
  • predicate calculus
  • worst case
  • graph layout
  • high level
  • np complete
  • machine learning
  • low level
  • directed graph
  • computational problems
  • polynomial time complexity