Conditional Autarkies: Hard Formulas Made Easy
2026 · International Conference on Theory and Applications of Satisfiability Testing · pp. 8:1-8:18 · 0 citations
· 29 references
Computer Science