TY - RPRT TI - Search Combinators AU - Tom Schrijvers AU - Guido Tack AU - Pieter Wuille AU - Horst Samulowitz AU - Peter J. Stuckey PY - 2012 UR - https://arxiv.org/abs/1203.1095 ID - 1203.1095 ER -