Boolean Algorithms in Prolog III.

Frédéric Benhamou

Published in: WCLP (1991)

Keyphrases

learning algorithm
genetic algorithm
website
significant improvement
times faster
real valued
database
convergence rate
computational efficiency
orders of magnitude
benchmark datasets
constraint satisfaction problems
theoretical analysis
computationally efficient
logic programs
computational cost
data structure