专题:Distributed Constraint Optimization Problems and Algorithms

This cluster of papers focuses on distributed constraint optimization problems and algorithms, including topics such as random satisfiability, local search, spatial reasoning, algorithm selection, phase transitions, soft constraints, temporal reasoning, and graph coloring.
最新文献
A Rigorous Conditional Proof that P ≠ NP via 1‑RSB Condensation for Canonical 3‑SAT

preprint Full Text OpenAlex

Addendum 11: Rigorous 1‑RSB Condensation for Canonical 3‑SAT (Extension of the Nam–Sly–Sohn Proof via Poisson Cloning, p‑Biased Fourier Analysis, and Guerra–Toninelli Interpolation)

preprint Full Text OpenAlex

Experimental Discovery of a Universal Continuous Topological Void in Random 3‑SAT

preprint Full Text OpenAlex

Addendum 8 v2: Rigorous Exponential Backtracking from the Persistent Topological Void (Size–width trade‑off for the 1‑RSB solution space)

preprint Full Text OpenAlex

Addendum 4 v2: Rigorous Guerra–Toninelli Lower Bound for the Poisson‑Cloned 3‑SAT Model

preprint Full Text OpenAlex

Addendum 5 v2: Rigorous First‑Moment Calculation for the Number of Solution Clusters

preprint Full Text OpenAlex

Addendum 2: Poisson Cloning Model for Random 3‑SAT

preprint Full Text OpenAlex

A Conditional Proof that P ≠ NP: Reducing the Problem to a Single Rigorous Theorem

preprint Full Text OpenAlex

Experimental Detection of the Overlap Gap Property in Random 3‑SAT and a Novel Graph‑Theoretic Complexity Metric

preprint Full Text OpenAlex

The OGP as an Informational Filter: Experimental Evidence for a Universal Binary Barrier in NP‑Complete Problems

preprint Full Text OpenAlex

近5年高被引文献
Chain-Of-Thought Prompting Elicits Reasoning in Large Language Models

article Full Text OpenAlex 358 FWCI20.9693

Constraint Satisfaction

other Full Text OpenAlex 347 FWCI0

VMamba: Visual State Space Model

article Full Text OpenAlex 162 FWCI37.2915

SpatialVLM: Endowing Vision-Language Models with Spatial Reasoning Capabilities

article Full Text OpenAlex 158 FWCI36.3707

Integer Programming and Combinatorial Optimization

book Full Text OpenAlex 123 FWCI2.0674

A survey for solving mixed integer programming via machine learning

article Full Text OpenAlex 102 FWCI12.8307

Elementary Methods of Graph Ramsey Theory

book Full Text OpenAlex 97 FWCI20.4707

Mixed-Integer Optimization for Loopless Flux Distributions in Metabolic Networks

preprint Full Text OpenAlex 90 FWCI3.6262

Mixed-Integer Programming vs. Constraint Programming for Shop Scheduling Problems: New Results and Outlook

article Full Text OpenAlex 74 FWCI14.4833

An algorithm selection approach for the flexible job shop scheduling problem: Choosing constraint programming solvers through machine learning

article Full Text OpenAlex 68 FWCI8.2678