3. The method according to claim 1 , wherein said filtering and re-ordering comprises constructing a binary logic formula corresponding to the search query.
3. The method according to claim 1 , wherein said filtering and re-ordering comprises constructing a binary logic formula corresponding to the search query. 4. The method according to claim 3 , wherein: the search query comprises at least one search term; said constructing comprising representing each of the least one search term as a boolean literal.