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