Orthologic for SAT Solving
Signal
72
Hype
15
En 3 lignesNouvel algorithme pour la décidabilité en orthologic (approximation de la logique classique) sans phase de prétraitement coûteuse, complexité O(n²(1+|A|)). Benchmarks SAT synthétiques basés sur encodage Tseitin : instances difficiles pour solveurs SOTA mais résolues efficacement par orthologic. Normalisation orthologic améliore temps de résolution sur problèmes durs.Lire la source
Ton avis ?
Résumé généré par Claude — vérifié par l'humain