Back to Results
First PageMeta Content
Automated theorem proving / Model theory / Logic in computer science / Constraint programming / NP-complete problems / Boolean satisfiability problem / Satisfiability Modulo Theories / DPLL algorithm / Interpretation / Theoretical computer science / Logic / Mathematical logic


First-order reasoning in Yices2 Master Thesis in Computer Science Simon Cruanes∗ supervised by Bruno Dutertre †, Viktor Kuncak ‡, Benjamin Werner § SRI International, Menlo Park, CA September 2011 – March 2012
Add to Reading List

Document Date: 2013-02-07 03:54:46

Open Document

File Size: 973,50 KB

Share Result on Facebook

City

Lausanne / /

Company

SRI International / CNF / /

Country

Switzerland / France / United States / /

IndustryTerm

free software / systematic proof search / search tree / type systems / subsumption algorithm / software verification / /

OperatingSystem

GNU/linux / /

Organization

Computer Science Lab of SRI International / /

Person

Sam Owre / Tiphaine / Bruno Dutertre / Filliâtre / Lori Truitt / Natarajan Shankar / Jean-Michel / Viktor Kuncak / Benjamin Werner / /

Position

great supervisor / General / /

ProvinceOrState

California / /

Technology

alpha / subsumption algorithm / Matching Algorithm / Unification Algorithm / Linux / Simplex algorithm / DPLL algorithm / dom / two algorithms / 4.6 Subsumption Check Algorithm / /

URL

http /

SocialTag