![Mathematics / Electronic design automation / Logic in computer science / NP-complete problems / Boolean algebra / Boolean satisfiability problem / Mathematical optimization / Program optimization / Satisfiability Modulo Theories / Theoretical computer science / Applied mathematics / Formal methods Mathematics / Electronic design automation / Logic in computer science / NP-complete problems / Boolean algebra / Boolean satisfiability problem / Mathematical optimization / Program optimization / Satisfiability Modulo Theories / Theoretical computer science / Applied mathematics / Formal methods](https://www.pdfsearch.io/img/72cdef686e5e2c9576ee21b26a82cdb7.jpg)
| 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 |