AFSAT: Solucionador SAT Pseudo-Booleano Acelerado por GPU AFSAT acelera la satisfacibilidad pseudo-booleana en GPU con Fourier y JAX, mejorando estabilidad y eficiencia. Descubre cómo. 2026-06-08 · 1 min
