Conference Proceedings

Smooth Linear Approximation of Non-overlap Constraints

Graeme Gange, Kim Marriott, Peter J Stuckey, G Stapleton, J Howse, J Lee

Diagrammatic Representation and Inference (Lecture Notes in Computer Science) | SPRINGER-VERLAG BERLIN | Published : 2008