🧩 Constraint Programming - hello · Scour

Dsat: A Native SAT Solver for Discrete Logic 🧮SMT Solvers

Simplex Algorithm 📊Dynamic Programming

en.wikipedia.org·3d·Hacker News

Z3Prover/z3: The Z3 Theorem Prover 🧮SMT Solvers

Large language model assisted hyper-heuristic evolutionary algorithm for groundwater level prediction 💬Prompt Engineering

MathConstraint: Automated Generation of Verified Combinatorial Reasoning Instances for LLMs 🧮SMT Solvers

SmileyLlama: modifying large language models for directed chemical space exploration 💬Prompt Engineering

Automated Formal Proofs of Combinatorial Identities via Wilf-Zeilberger Guidance and LLMs 🧮SMT Solvers

Lattice Deduction Transformers 🌳Pratt Parsing

From Single-Step Edit Response to Multi-Step Molecular Optimization 🧬Computational Biology

Bounding Fixed Points of Non-Monotone Processes: Theory to Practice 📊Dynamic Programming

ReaComp: Compiling LLM Reasoning into Symbolic Solvers for Efficient Program Synthesis 🎭Program Synthesis

Compander-Aligned Query Geometry for Quantized Zeroth-Order Optimization 🔧LLVM IR Optimization

Traffic Scenario Orchestration from Language via Constraint Satisfaction 🎭Program Synthesis

Select-then-differentiate: Solving Bilevel Optimization with Manifold Lower-level Solution Sets 📊Dynamic Programming

Probabilistic-bit Guided CDCL for SAT Solving using Ising Consensus Assumptions 🧮SMT Solvers

Budget-Efficient Automatic Algorithm Design via Code Graph ⚡Incremental Computation

Confidence-Aware Alignment Makes Reasoning LLMs More Reliable 🧮SMT Solvers

Minimal Filling Architectures of Polynomial Neural Networks: Counterexamples, Frontier Search, and Defects 🧮SMT Solvers

Penalty-Based First-Order Methods for Bilevel Optimization with Minimax and Constrained Lower-Level Problems 📊Dynamic Programming

Relation Reasoning with LLMs in Expensive Optimization 💬Prompt Engineering

Log in to enable infinite scrolling