Optimization Aspects for Propositional Binary Prolog Programs.

Hans Kleine Büning Ulrich Löwen

Published in: J. Inf. Process. Cybern. (1988)

Keyphrases

prolog programs
logic programs
optimization problems
multi valued
optimization methods
optimization algorithm
answer set programming
relational databases
propositional logic
constrained optimization
discrete optimization