Sciweavers

MarketSAT: An Extremely Decentralized (but Really Slow) Algorithm for Propositional Satisfiability
Recent Google, Yahoo, MSN search queries leading to this post
MarketSAT: An Extremely Decentralized (but Really Slow) Algorithm for Propositional Satisfiability
eu
Fri, 03/06/11 - 12:41