Un nuevo enfoque mejora la eficiencia de los solucionadores SAT a través de una mejor comunicación entre módulos.
― 5 minilectura
Hari Govind V K
La competencia CHC mostró avances en los solucionadores y sus aplicaciones en la verificación de programas.
― 7 minilectura