ICS: Integrated Canonizer and Solver.

Jean-Christophe Filliâtre Sam Owre Harald Rueß Natarajan Shankar

Published in: CAV (2001)

Keyphrases

data sets
real time
neural network
real world
artificial intelligence
social networks
lower bound
relational databases
orders of magnitude