Back to Results
First PageMeta Content
Cardinality / Set / Combination / Boolean satisfiability problem / Generalized arithmetic progression / Permutation / Polynomial / Mathematics / Combinatorics / Multiset


Decision Procedures for Multisets with Cardinality Constraints Ruzica Piskac and Viktor Kuncak School of Computer and Communication Science ´ Ecole
Add to Reading List

Document Date: 2007-12-11 06:05:40

Open Document

File Size: 295,67 KB

Share Result on Facebook

Currency

pence / /

Facility

Multiset library / Permutation library / /

IndustryTerm

polynomial-space algorithm / sum operator / software analysis / e - index / program verification systems / software verification / verification systems / /

Organization

Viktor Kuncak School of Computer and Communication Science / Ecole Polytechnique F´ed´erale de Lausanne / /

Person

Ruzica Piskac / Ai / /

ProgrammingLanguage

SETL / /

Technology

polynomial-space algorithm / /

SocialTag