Reduction of SAT to O(n4)-size linear system

  Demo for   arXiv:0802.2612v2 [cs.DM]    

Use button "Add" to add clauses. In the fields presented, enter your clauses in format like "+x-X+y-Z", one English letter for each literal.
Sign "-" means negation, and sign "+" is required for positive literals. Literals are case sensitive. Use button "Validate" to validate your clauses.
After entering of all clauses, submit them using button "Submit". Clauses in wrong format will be ignored. All computations will be carried on your browser.

Clauses: