Find link

language:

Find link is a tool written by Edward Betts.

searching for Interval propagation 2 found (5 total)

Maarten van Emden (417 words) [view diff] exact match in snippet view article find links to article

and constraint satisfaction, along with interval arithmetic and interval propagation . He wrote an advice-taking Prolog program for certain chess endgames

Alessio Lomuscio (673 words) [view diff] case mismatch in snippet view article find links to article

neural networks with ReLU activation functions) VeriNet (Symbolic Interval Propagation-based verification of neural networks with ReLU activation functions)