PALSAT: Deep Cooperation of Unit Propagation and Local Search in Incomplete SAT Solving
2026 · International Conference on Theory and Applications of Satisfiability Testing · pp. 21:1-21:18 · 0 citations
· 23 references
Computer Science