Back to Results
First PageMeta Content
Algebra / Papyrus 1 / Mathematics / Commutative algebra / Localization / Radon–Nikodym theorem / Cardinal number / Symbol / Norm


Polynomial Constraints for Sets with Cardinality Bounds Bruno Marnette1 , Viktor Kuncak2 , and Martin Rinard2 1 ENS de Cachan, France
Add to Reading List

Document Date: 2007-09-24 10:36:03

Open Document

File Size: 149,40 KB

Share Result on Facebook

City

Cachan / Cambridge / /

Company

CSC / /

Country

France / United States / /

Currency

pence / /

/

IndustryTerm

satisfiability algorithm / software engineering / polynomial-time algorithm / procedure call site / polynomial-time algorithms / linear-time algorithm / software modelling / /

Organization

MIT / /

Position

Prime Minister / /

Technology

object-oriented programming / underlying algorithms / satisfiability algorithm / linear-time algorithm / polynomial-time algorithms / polynomial-time algorithm / /

SocialTag