CP-SAT
PulseAugur coverage of CP-SAT — every cluster mentioning CP-SAT across labs, papers, and developer communities, ranked by signal.
3 day(s) with sentiment data
-
AI agent makes progress on Conway's 99-graph problem
A new research paper details an autonomous AI agent's systematic attack on Conway's 99-graph problem, which questions the existence of a specific strongly regular graph. The AI agent provided verifiable contributions, i…
-
New framework optimizes classroom seating for enhanced student engagement
Researchers have developed SetEasy, a framework designed to enhance classroom engagement through optimized seating arrangements. This system integrates multimodal data, including physiological signals from wristbands, 4…
-
Quantum-inspired algorithm cuts railway delays by 25%
Researchers have developed a novel quantum-inspired evolutionary algorithm combined with neighborhood search (QEA-NS) to optimize train arrival and departure track utilization during short-term railway disruptions. This…
-
New AI framework personalizes packing checklists, improving efficiency
Researchers have developed a novel framework for generating personalized packing checklists, integrating symbolic reasoning, machine learning, and optimization. This three-stage system first uses a symbolic engine to cr…
-
New CP-SAT framework tackles complex workforce scheduling challenges
Researchers have developed CP-WSP, a new declarative framework using CP-SAT to address complex workforce scheduling problems. This framework enforces 14 hard constraints and optimizes 15 soft objectives, offering greate…
-
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…