An Introduction to Search Combinators.

Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey

Browse the full LOPSTR paper archive.