ENTITY
CP-SAT
CP-SAT
PulseAugur coverage of CP-SAT — every cluster mentioning CP-SAT across labs, papers, and developer communities, ranked by signal.
Total · 30d
2
2 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
2
2 over 90d
TIER MIX · 90D
TOPICS
RECENT · PAGE 1/1 · 2 TOTAL
-
LLMs achieve robust asynchronous planning with auto-formalization
Researchers have developed a new method for enabling large language models (LLMs) to handle complex, asynchronous planning tasks. Their approach involves translating tasks into a formal language for an external solver, …
-
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…