Research
On-device research index

arXiv research

A locally-built, LLM-digested index of recent arXiv papers in quant finance, geometry/topology, and statistical ML — keyword search served straight from SQLite on this machine.

168,982 papers · 148 categories

Trend · papers per month

count% of corpus
0111 · May 201919922001200920172026
1 result for “MAX-2-SAT”
Generating Weighted MAX-2-SAT Instances of Tunable Difficulty with Frustrated Loopscs.LG

A new method generates MAX-2-SAT instances with adjustable hardness.

problem Creating hard MAX-SAT instances for evaluating MAX-SAT solvers.
method Inspired by frustrated-loop algorithm, extends to bipartite couplings, tuning hardness through frustration index.
result Generated instances can be tuned through a central parameter (frustration index), showing double phase transition behavior.
MAX-SATMAX-2-SATfrustrated loopsquantum annealingRBM
2019-05-14abs ↗pdf ↗