Back to Results
First PageMeta Content
NP-complete problems / Automated theorem proving / Logic in computer science / Boolean algebra / Boolean satisfiability problem / Electronic design automation / 2-satisfiability / Unit propagation / Clause / Theoretical computer science / Mathematics / Applied mathematics


The Power of Choice in Random Satisfiability Varsha Dani, University of New Mexico Josep Díaz, Universitat Politècnica de Catalunya Thomas Hayes, University of New Mexico Cristopher Moore, Santa Fe Institute
Add to Reading List

Document Date: 2013-08-24 21:10:43

Open Document

File Size: 1,30 MB

Share Result on Facebook

Currency

pence / /

Facility

University of New Mexico Josep Díaz / University of New Mexico Cristopher Moore / Santa Fe Institute / /

IndustryTerm

↵search / /

Organization

University of New Mexico Josep Díaz / Universitat Politècnica de Catalunya / University of New Mexico / Santa Fe Institute / /

Person

Thomas Hayes / /

Technology

Biased Unit Clause algorithm / /

SocialTag