1. A satisfiability filter builder implemented by a computer including memory for storing information comprising: a domain subset identified for identifying element of a domain subset; a hash function selector for selecting a set of hash functions, wherein variables produced by said hash functions range from −n to n; a mapper in communication with said domain subset identifier and said hash function selector, wherein said mapper maps each of said identified elements of said domain subset based upon said selected set of hash functions to a set of literals, wherein the size of said set of literal is k; an equation creator in communication with sad mapper, said equation creator combines each said set of literals to create a plurality of equations wherein the number of equations created is identified as m and wherein each equation of said plurality of equations relates to an identified element of said domain subset; and a conjoiner in communication with said equation creator for conjoining said plurality of equations to provide a satisfiability instance, wherein said satisfiability instance is stored in 32*m*k bits of memory.