An Extension of the WAM for Hybrid Interval Solvers.

Frédéric Goualard Frédéric Benhamou Laurent Granvilliers

Published in: J. Funct. Log. Program. (1999)

Keyphrases

fuzzy logic
hybrid learning
interval data
genetic algorithm
learning algorithm
artificial intelligence
multiscale
artificial neural networks
sat solving