Back to Results
First PageMeta Content
Metalogic / Model theory / Logic in computer science / Formal languages / Propositional calculus / Substitution / Symbol / Boolean satisfiability problem / Structure / Mathematics / Logic / Theoretical computer science


Document Date: 2008-10-29 09:10:43

Open Document

File Size: 284,55 KB

Share Result on Facebook

Company

CNF / /

Event

Man-Made Disaster / /

Facility

Institute of Computer Science / University of Wroclaw malekith/smt/en.html / /

IndustryTerm

polynomial algorithm / boolean search / software verification scenarios / split accounting / linear matching algorithm / automated software verification / theory reasoning machinery / search space / regular matching algorithm / minimization algorithm / /

OperatingSystem

Linux / /

Organization

University of Wroclaw malekith/smt/en.html / Institute of Computer Science / /

Person

Cormac Flanagan / Michal Moskal∗ Jakub Lopusza / Xinming Ou / David Detlefs / Madan Musuvathi / Jakub Lopusza´ski / K. Rustan M. Leino / James B. Saxe / Greg Nelson / Rajeev Joshi / /

Position

General / /

Technology

html / minimization algorithm / Linux / linear matching algorithm / polynomial algorithm / regular matching algorithm / /

URL

http /

SocialTag