A Function Elimination Method for Checking Satisfiability of Arithmetical Logics.

Valentina Castiglioni Ruggero Lanotte Simone Tini

Published in: Fundam. Informaticae (2016)

Keyphrases

high precision
high accuracy
computational complexity
experimental evaluation
clustering method
synthetic data
genetic algorithm
support vector machine
mapping function
decision procedures
linear model
optimization method
preprocessing
search algorithm
objective function
multiscale
knowledge base
learning algorithm