Back to Results
First PageMeta Content
Model theory / Electronic design automation / Logic in computer science / NP-complete problems / First-order logic / Function / Interpretation / FO / Boolean satisfiability problem / Mathematics / Logic / Mathematical logic


Collections, Cardinalities, and Relations Kuat Yessenov1⋆ , Ruzica Piskac2 , and Viktor Kuncak2⋆⋆ 1 2
Add to Reading List

Document Date: 2009-11-10 09:06:44

Open Document

File Size: 221,08 KB

Share Result on Facebook

City

Lausanne / Cambridge / /

Country

Switzerland / United States / /

Currency

pence / /

/

IndustryTerm

function applications / cardinality operator / supports computing images / software analysis / software verification / /

Organization

Swiss National Science Foundation / School of Computer and Communication Sciences / MIT Computer Science and Artificial Intelligence Lab / /

Person

Ai / /

Position

Prime Minister / /

ProgrammingLanguage

Java / /

SportsEvent

formula 1 / /

Technology

following algorithm / NP algorithm / Java / previous NEXPTIME algorithms / be decided using the NP algorithm / /

SocialTag