CLP(R) and Some Electrical Engineering Problems (1991)

Cached

Download Links

by Nevin Heintze , Spiro Michaylov , Peter Stuckey
Venue:Journal of Automated Reasoning
Citations:35 - 5 self

Document Versions

CLP(R) and Some Electrical Engineering Problems –Nevin Heintze, Spiro Michaylov, Peter Stuckey — 1991 — Journal of Automated Reasoning