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
-
New benchmark evaluates household robots' hygiene-aware planning capabilities
Researchers have introduced HygieneRoboBench, a new benchmark designed to evaluate household robots' ability to plan for hygiene-aware tasks. The benchmark includes 624 instances across 134 task families, focusing on co…
-
Graph Neural Networks Tackle Localized Optimization Challenges
Researchers have developed a novel approach to graph neural combinatorial optimization that addresses the challenge of limited information availability at each node. This method, termed 'local set cover,' ensures that n…
-
Syn2Logic framework automates neuromorphic hardware design
Researchers have developed Syn2Logic, a novel framework for end-to-end neuromorphic design automation (eNDA). This system allows neuroscientists to model neural behavior using a custom domain-specific language, which is…
-
New CP-SAT approach optimizes healthcare workforce scheduling
Researchers have developed CP-SAT, a novel Constraint Programming approach for optimizing healthcare workforce scheduling. This method addresses the NP-hard nature of the problem by enforcing 14 hard constraints to guar…
-
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…