SAT Modulo Well-Founded Semantics
2026 · International Conference on Theory and Applications of Satisfiability Testing · pp. 15:1-15:22 · 0 citations
· 61 references
Computer Science