Login / Signup
Recursive Unsolvability of Determinacy, Solvable Cases of Determinancy and their Applications to Prolog Optimization.
Hajime Sawamura
Taku Takeshima
Published in:
SLP (1985)
Keyphrases
</>
optimization process
special case
optimization problems
optimization algorithm
discrete optimization
np complete
case base
global optimization
constraint logic programming
abstract machine
neural network
learning algorithm
computational complexity
programming language
conjunctive queries
optimization model