CLP(R) and Some Electrical Engineering Problems

Nevin Heintze, Spiro Michaylov, Peter J. Stuckey. CLP(R) and Some Electrical Engineering Problems. Journal of Automated Reasoning, 9(2):231-260, 1992.

Abstract

Abstract is missing.