Solving Non-linear Arithmetic.

Dejan Jovanovic Leonardo Mendonça de Moura

Published in: IJCAR (2012)

Keyphrases

database
real time
databases
real world
information systems
search algorithm
arithmetic operations