ENTITY
Conflict Driven Clause Learning
Conflict Driven Clause Learning
PulseAugur coverage of Conflict Driven Clause Learning — every cluster mentioning Conflict Driven Clause Learning across labs, papers, and developer communities, ranked by signal.
Total · 30d
1
2 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
1
2 over 90d
TIER MIX · 90D
TOPICS
SENTIMENT · 30D
1 day(s) with sentiment data
RECENT · PAGE 1/1 · 2 TOTAL
-
New SAT-ACT framework improves CDCL solver branching decisions
Researchers have developed SAT-ACT, a novel framework designed to enhance decision-making in SAT solvers. This approach learns branching preferences by comparing outcomes from different branching actions initiated at th…
-
Hybrid CDCL and CP-SAT architecture accelerates facility layout optimization
Researchers have developed a hybrid architecture combining Conflict-Driven Clause Learning (CDCL) and CP-SAT solvers to accelerate discrete facility layout optimization. While CDCL excels at quickly finding feasible sol…