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 · Feb 201419922001200920172026
2 results for “MAX-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 ↗
Hybrid SRL with Optimization Modulo Theoriescs.LG

Generally speaking, the goal of constructive learning could be seen as, given an example set of structured objects, to generate novel objects with similar properties. From a statistical-relational learning (SRL) viewpoint, the task can be interpreted as a constraint satisfaction problem, i.e. the generated objects must…

2014-02-18abs ↗pdf ↗