ELVIS provides significant opportunities for future work. These include:
1. Implementation of a heuristic version.
2. Implementation of ELVIS on several Xilinx Virtex FPGAs.
3. Build, manufacture, and test an ELVIS PLD.
4. Implement a SAT-Server.
5. Implement fast clause addition, to support a GRASP [19] approach.
6. Develop a procedure to convert 3-SAT formulas to k-SAT while minimizing n and m.
7. Search for applications for controlled oversatisfaction.
8. Implement ELVIS-q, a SIMD ELVIS designed to minimize space requirements further, but only support small k values (such as 3-SAT).