Conference
From Literals to Atomic Constraints: Generalising Conflict-Driven Clause Learning for Constraint Programming
2026 · International Conference on Principles and Practice of Constraint Programming · pp. 42:1-42:21 · 0 citations
· 43 references
Computer Science