Equation Solving in Conditional AC-Theories.

Nachum Dershowitz Subrata Mitra G. Sivakumar

Published in: ALP (1990)

Keyphrases

nonlinear equations
algebraic equations
information systems
combinatorial optimization
real time
multiscale
search algorithm
theoretical framework
differential equations