Informasi yang berkaitan dengan vi/IC-3SAT