Back to Results
First PageMeta Content
Elementary mathematics / Cardinal numbers / Boolean algebra / Mathematical optimization / Integer / Finite set / NP / Cardinality / Boolean satisfiability problem / Mathematics / Theoretical computer science / Complexity classes


On Decision Procedures for Ordered Collections
Add to Reading List

Document Date: 2010-02-08 11:12:45

Open Document

File Size: 208,18 KB

Share Result on Facebook

Person

Ai / /

Position

model for our formula FQFBAPA / /

SocialTag