On the role of informed search in veristic computing.

Stuart H. Rubin, Robert J. Rush Jr., James Boerke, Ljiljana Trajkovic

Browse the full SMC paper archive.