🎯 Constraint Programming - beachlorn · Scour

Efficient Solving for Dynamic Data Structure Constraint Satisfaction Problem 🎯Constraint Solving

arxiv.org·3d

Interpolation Search 🔤Type Systems

en.wikipedia.org·1d·Hacker News

MysticCodingCat/CUDA-Native-HUBO: A GPU-native solver for 3-way combinatorial optimization (HUBO). Achieving digital-annealer-level performance on a single RTX 3060 Ti 🧩SMT Solvers

github.com·1d·Hacker News

MLS Part 15 : Clustering in Machine Learning — From K-Means to Advanced Optimization with Optuna 🎯Constraint Solving

medium.com·6d

Pydantic-resolve – define relationships once, reuse across REST, GraphQL and MCP 🦥Haskell

allmonday.github.io·2d·Hacker News

Jamming as a topological satisfiability transition with contact number hyperuniformity and criticality ⚡Concurrency

pnas.org·2d

Evolution of Multi-Objective Optimization at Pinterest Home feed 📰RSS

medium.com

·3d

BQN: Implementation of Ordering Functions ⚡Concurrency

mlochbaum.github.io·1d·Hacker News

SMT with Uninterpreted Functions and Monotonicity Constraints in Systems Biology 🧩SMT Solvers

arxiv.org·20h

Exploration of Pareto-preserving Search Space Transformations in Multi-objective Test Functions 🔬Closure Analysis

arxiv.org·20h

Razshy/Resonance-Search: A new search paradigm where documents have gravity, queries converge into basins, and multi-signal scoring uses interference instead of linear fusion. 🔊Faust

github.com·6d·Hacker News, r/rust

When Switching Algorithms Helps: A Theoretical Study of Online Algorithm Selection 🔍Type Inference

arxiv.org·20h

On the Decompositionality of Neural Networks ➡️Linear Logic

arxiv.org·20h

PyVRP$^+$: LLM-Driven Metacognitive Heuristic Evolution for Hybrid Genetic Search in Vehicle Routing Problems 🎯Constraint Solving

arxiv.org·20h

Toward a Uniform Algorithm and Uniform Reduction for Constraint Problems 🎯Constraint Solving

arxiv.org·1d

Analysis of Search Heuristics in the Multi-Armed Bandit Setting 🧮Datalog Engines

arxiv.org·20h

SMB algebras II: On the Constraint Satisfaction Problem over Semilattices of Mal'cev Blocks 🎯Constraint Solving

arxiv.org·2d

Structural Segmentation of the Minimum Set Cover Problem: Exploiting Universe Decomposability for Metaheuristic Optimization 🎯Constraint Solving

arxiv.org·3d

Select-then-Solve: Paradigm Routing as Inference-Time Optimization for LLM Agents 🧩SMT Solvers

arxiv.org·1d

Algebraic Structure Discovery for Real World Combinatorial Optimisation Problems: A General Framework from Abstract Algebra to Quotient Space Learning 🧩SMT Solvers

arxiv.org·2d

Loading more...