Como dice Mark, debido a que 3-SAT es NP-complete, puede codificar cualquiera de una gran variedad de problemas como una instancia de 3-SAT y luego aplicar su algoritmo. Los clientes finales pagan por esta codificación y presentación. Necesitará desarrollar estas habilidades o asociarse con OEM (“fabricantes de codificación original”) que puedan empaquetar su tecnología para industrias específicas. No subestimes el tiempo que tomará hacer esta pieza correctamente.
Tampoco eres el único solucionador rápido que existe. Hay concursos activos para solucionadores SAT y para solucionadores de “teoría del módulo de satisfacción”, vea por ejemplo esta página para SMT-COMP
http://www.smtcomp.org/2010/
Los puntos de referencia SMT-COMP dan una idea de cómo se ven las diferentes instancias de problemas en diferentes aplicaciones. Puede resultarle útil ver dónde venció a la competencia en velocidad y en qué medida. Eso a su vez puede ayudar a enfocar la elección de las industrias donde primero va al mercado.
- ¿Cómo se usan los minterms y maxterms en el álgebra booleana en circuitos digitales reales (en detalle)?
- ¿Cuál es la mejor computadora portátil para un estudiante entrante de CS en la Universidad de Cornell?
- ¿Pueden los gerentes ser reemplazados por inteligencia artificial?
- ¿Cuál es la diferencia entre System Call y API en términos simples?
- Si cambia el tamaño de una imagen ráster de 1000 × 1000 a 10 × 10 y luego la redimensiona a 1000 × 1000, ¿se considera que esto es un alias en informática?
Otra cuestión clave es si vence a los demás, ¿por cuánto los vence, y es eso sostenible? Debido a que puede cambiar un solucionador por otro en una aplicación, siempre puede ser comparado directamente con sus competidores. Esto puede sugerir hacer su propia integración y codificación para su industria objetivo, porque de lo contrario un OEM tiene un bajo costo para cambiar de usted al siguiente solucionador.