🧩 Constraint Programming - hello · Scour

Toward a Uniform Algorithm and Uniform Reduction for Constraint Problems 🧮SMT Solvers

arxiv.org·5d

A Dumb Introduction to z3 🧮SMT Solvers

ar-ms.me·1d·Lobsters, Hacker News

vijaygovindaraja/mspo: Multi-Strategy Parrot Optimizer — reference implementation of the metaheuristic introduced in Govindarajan (2025), Digital Health 🏗️Cranelift

github.com·2d·DEV

Quick Draw Queries: Lightweight Searchable Public-key Ciphertexts with Hidden Structures via Non-Interactive Key Exchange 🔢Homomorphic Encryption

eprint.iacr.org·4d

Declarative linear and radial gradients 🎨Chroma

infinitecanvas.cc·2d

Interpolation Search ⚖️Y-Fast Tries

en.wikipedia.org·5d·Hacker News

MathAgent: Adversarial Evolution of Constraint Graphs for Mathematical Reasoning Data Synthesis 🎭Program Synthesis

arxiv.org·14h

Problem Reductions at Scale: Agentic Integration of Computationally Hard Problems ⚓Anchors

arxiv.org·14h

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 🔄Glommio vs Tokio

github.com·5d·Hacker News

Planted-solution SAT and Ising benchmarks from integer factorization 🧮SMT Solvers

arxiv.org·14h

A parallel and distributed fixed-point quantum search algorithm for solving SAT problems ⚛️Quantum Computing

arxiv.org·14h

Hypergraph Neural Networks Accelerate MUS Enumeration 📊HyperLogLog

arxiv.org·1d

Select Smarter, Not More: Prompt-Aware Evaluation Scheduling with Submodular Guarantees 🚦Wait-Free Algorithms

arxiv.org·14h

AlphaLab: Autonomous Multi-Agent Research Across Optimization Domains with Frontier LLMs 💬Prompt Engineering

arxiv.org·1d

ZoomR: Memory Efficient Reasoning through Multi-Granularity Key Value Retrieval 🧮Vector Databases

arxiv.org·14h

Learning from Contrasts: Synthesizing Reasoning Paths from Diverse Search Trajectories 🎯Vector Search

arxiv.org·14h

SMB algebras II: On the Constraint Satisfaction Problem over Semilattices of Mal'cev Blocks 🧮SMT Solvers

arxiv.org·6d

Hybrid Quantum-Classical Optimization Workflows for the Shipment Selection Problem ⚛️Quantum Computing

arxiv.org·14h

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

arxiv.org·4d

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

arxiv.org·6d

Loading more...