Adding Search to Zinc.

Reza Rafeh, Kim Marriott, Maria Garcia de la Banda, Nicholas Nethercote, Mark Wallace

Browse the full CP paper archive.