Asignación dinámica de pesos iniciales para MaxSAT
Autores: Ishtaiwi, Abdelraouf; Abu Al-Haija, Qasem
Idioma: Inglés
Editor: MDPI
Año: 2021
Acceso abierto
Artículo científico
2021
Asignación dinámica de pesos iniciales para MaxSAT
Categoría
Ingeniería y Tecnología
Subcategoría
Ingeniería de Software
Palabras clave
Problemas del mundo real
MaxSAT
SAT
InitWeight
DDFW+InitMaxSAT
Rendimiento
Licencia
CC BY-SA – Atribución – Compartir Igual
Consultas: 34
Citaciones: Sin citaciones
El enfoque de Satisfacción Máxima (Maximum Satisfiability (MaxSAT)) es la elección, y quizás la única, para abordar la mayoría de los problemas del mundo real, ya que la mayoría de ellos son insatisfactorios.
Descripción
El enfoque de Satisfacción Máxima (Maximum Satisfiability (MaxSAT)) es la elección, y quizás la única, para abordar la mayoría de los problemas del mundo real, ya que la mayoría de ellos son insatisfactorios.