CLP(R) and Some Electrical Engineering Problems.

Nevin Heintze, Spiro Michaylov, Peter J. Stuckey

Browse the full ICLP paper archive.