Back to Results
First PageMeta Content
Mathematics / Constraint satisfaction problem / 2-satisfiability / Constraint satisfaction / Boolean satisfiability problem / Constraint programming / Theoretical computer science / Applied mathematics


Many Hard Examples in Exact Phase Transitions1 Ke Xu and Wei Li National Lab of Software Development Environment Department of Computer Science Beihang University, Beijing[removed], China Email:{kexu,liwei}@nlsde.buaa.edu.
Add to Reading List

Document Date: 2006-01-02 10:31:48


Open Document

File Size: 180,19 KB

Share Result on Facebook

Company

CNF / C. / /

Country

China / /

Currency

pence / /

/

Facility

Latin square / Computer Science Beihang University / /

IndustryTerm

polynomial time algorithms / /

Organization

Exact Phase Transitions1 Ke Xu and Wei Li National Lab of Software Development Environment Department / Computer Science Beihang University / Beijing / National Natural Science Foundation of China / /

Person

Wei Li / Grant Nos / /

Position

standard CSP Model / i.e / CSP model / i.e / /

PublishedMedium

the National / /

Technology

polynomial time algorithms / SAT algorithms / CSP algorithms / /

SocialTag