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
UPDATE