Back to Results
First PageMeta Content
Logic in computer science / Metalogic / Model theory / Multiset / NP-complete problems / Presburger arithmetic / Satisfiability Modulo Theories / Cardinality / Generalized arithmetic progression / Mathematics / Mathematical logic / Theoretical computer science


MUNCH - Automated Reasoner for Sets and Multisets Ruzica Piskac and Viktor Kuncak Swiss Federal Institute of Technology Lausanne (EPFL)
Add to Reading List

Document Date: 2010-05-11 07:07:53

Open Document

File Size: 220,61 KB

Share Result on Facebook

City

MUNCH / /

/

Facility

Viktor Kuncak Swiss Federal Institute of Technology Lausanne / /

IndustryTerm

similar tools / tool web page / e - fixed / software verification systems / carrier set / simpler algorithm / linear diophantine systems / software verification / /

NaturalFeature

Krakatoa / /

Organization

Swiss Federal Institute of Technology Lausanne / /

Person

Ruzica Piskac / Viktor Kuncak Swiss / /

Position

generic proof assistant / model for the original formula / /

ProgrammingLanguage

Scala / /

PublishedMedium

Pacific Journal of Mathematics / /

Technology

conceptually simpler algorithm / 2.2 NP vs NEXPTIME Algorithm / CAV / Kuncak The algorithm / /

URL

http /

SocialTag