Login / Signup

A Logic-Based Approach to Solve the Steiner Tree Problem.

Mohamed El-bachir Menai
Published in: AIAI (2009)
Keyphrases
  • classical logic
  • logic programming
  • neural network
  • logical framework
  • predicate logic