| Document Date: 2007-02-18 15:26:16 Open Document File Size: 44,61 KBShare Result on Facebook
Company CNF / Microsoft / / Facility University of British Columbia University / / IndustryTerm search parameters / software verification conditions / iterated local search / automatic tool / computing / software verification problems / software verification instances / tree search algorithms / software verification / / Organization Universite Libre de Bruxelles / University of British Columbia University / / Person Frank Hutter / Alan J. Hu / Jesse Bingham / / Position author / designer / Theorem prover architect / / PublishedMedium Lecture Notes in Computer Science / Machine Learning / / Technology two tree search algorithms / Machine Learning / /
SocialTag |