1: A Taxonomy of Peer-to-Peer Based Complex Queries: a Grid perspective 2: A Fixed-Parameter Algorithm for #SAT with Parameter Incidence Treewidth