Feeds to Scour
SubscribedAll
Scoured 22974 posts in 25.4 ms
Problem 00209  📐Error Bounds
andreinc.net·6d·
Day-Ahead Offering for Virtual Power Plants: A Stochastic Linear Programming Reformulation and Projected Subgradient Method  ⚡Incremental Computation
arxiv.org·1d·
khalildh/transversal-arc-solver: ARC-AGI solver via Plücker geometry — 316 tasks solved with zero learning  🧮SMT Solvers
github.com·5d·Hacker News·
The Computational Complexity of Avoiding Strict Saddle Points in Constrained Optimization  🎯Performance Proofs
arxiv.org·1d·
Problem 00207  📐Interval Arithmetic
andreinc.net·6d·
Solving the Two-dimensional single stock size Cuting Stock Problem with SAT and MaxSAT  🧠Query Planners
arxiv.org·1d·
Efficient Constraint Generation for Stochastic Shortest Path Problems  ⚡Z3 Optimization
arxiv.org·1d·
Problem 00208  🌉Galois Connections
andreinc.net·6d·
Deterministic Hardness of Approximation For SVP in all Finite $\ell_p$ Norms  🧮Kolmogorov Complexity
arxiv.org·1d·
Problem 00206  📐Interval Arithmetic
andreinc.net·6d·
NED-Tree: Bridging the Semantic Gap with Nonlinear Element Decomposition Tree for LLM Nonlinear Optimization Modeling  🔄Graph Rewriting
arxiv.org·1d·
A Positivity-Preserving Relaxation Algorithm  🎯Performance Proofs
arxiv.org·1d·
A Strong Linear Programming Relaxation for Weighted Tree Augmentation  🌳Huffman Trees
arxiv.org·3d·
The Subspace Flatness Conjecture and Faster Integer Programming  🎯Performance Proofs
arxiv.org·5d·
NP-hardness of SVP in Euclidean Space  🧮Kolmogorov Complexity
arxiv.org·4d·
Improved Approximation Algorithms for Multiway Cut by Large Mixtures of New and Old Rounding Schemes  🔢Bitwise Algorithms
arxiv.org·4d·
Polynomial Time Local Decision Revisited  🎯Performance Proofs
arxiv.org·3d·
Relaxed Greedy Randomized Kaczmarz with Signal Averaging for Solving Doubly-Noisy Linear Systems  📐Linear Algebra
arxiv.org·3d·
Stabilizing a linear system using phone calls when time is information  🌊Stream Ciphers
arxiv.org·5d·
Dynamic Nearest-Neighbor Searching Under General Metrics in ${\mathbb R}^3$ and Its Applications  📏Range Queries
arxiv.org·5d·

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help