Back to Results
First PageMeta Content
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


S PEAR Theorem Prover Domagoj Babi´c ∗ (Theorem prover architect)
Add to Reading List

Document Date: 2007-02-18 15:26:16

Open Document

File Size: 44,61 KB

Share 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